Def Complex.HadamardThreeLines.scale

Modification history

2025-01-31 17:41

Mathlib/Analysis/Complex/Hadamard.lean

feat(Analysis/Complex/Hadamard): generalize Hadamard's three lines theorem (#15009) …

Added Complex.HadamardThreeLines.scale View on Github →