Theorem Complex.conjCLE_coe

Modification history

2026-03-06 17:09

Mathlib/Analysis/Complex/Basic.lean

feat(Analysis/Complex/UpperHalfPlane): invariant measure (#34402) …

Deleted Complex.conjCLE_coe View on Github →

2024-01-26 03:03

Mathlib/Analysis/Complex/Basic.lean

fix: `Clm` -> `CLM`, `Cle` -> `CLE` (#10018) …

Added Complex.conjCLE_coe View on Github →