Theorem Complex.HadamardThreeLines.norm_le_interpStrip_of_mem_verticalClosedStrip
Modification history
2025-07-04 07:44
Mathlib/Analysis/Complex/Hadamard.lean
chore: further whitespace fixes (#26708) …
Modified Complex.HadamardThreeLines.norm_le_interpStrip_of_mem_verticalClosedStripView on Github →