Mathlib Changelog
v4
Changelog
About
Github
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