Theorem Complex.conjCLE_coe_toLinearMap

Modification history

2026-10-16 07:34
Mathlib/Analysis/Complex/Basic.lean
chore: remove declarations deprecated between 2026-04-01 and 2026-04-15 (#44903) …
Deleted Complex.conjCLE_coe_toLinearMapView on Github →
2026-05-21 08:11
Mathlib/Analysis/Complex/Basic.lean
refactor(Algebra): replace `SemilinearEquivClass.semilinearEquiv` by structure-specific coercions (#37944) …
Modified Complex.conjCLE_coe_toLinearMapView on Github →
2026-03-06 17:09
Mathlib/Analysis/Complex/Basic.lean
feat(Analysis/Complex/UpperHalfPlane): invariant measure (#34402) …
Added Complex.conjCLE_coe_toLinearMapView on Github →