Commit 2023-05-25 08:46 f4c3ddad

View on Github →

feat: port Analysis.Complex.Conformal (#4309)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Analysis/Complex/Conformal.lean

added theorem IsConformalMap.is_complex_or_conj_linear

added theorem isConformalMap_complex_linear

added theorem isConformalMap_complex_linear_conj

added theorem isConformalMap_conj

added theorem isConformalMap_iff_is_complex_or_conj_linear