Hadamard three-lines theorem

GPTKB entity