Theorem isConformalMap_conj

Modification history

2024-01-26 03:03
Mathlib/Analysis/Complex/Conformal.lean
fix: `Clm` -> `CLM`, `Cle` -> `CLE` (#10018) …
Modified isConformalMap_conjView on Github →
2023-05-25 08:46
Mathlib/Analysis/Complex/Conformal.lean
feat: port Analysis.Complex.Conformal (#4309)
Added isConformalMap_conjView on Github →