Theorem algebraMapClm_toLinearMap

Modification history

2024-01-26 03:03
Mathlib/Topology/Algebra/Algebra.lean
fix: `Clm` -> `CLM`, `Cle` -> `CLE` (#10018) …
Deleted algebraMapClm_toLinearMapView on Github →
2023-04-05 08:46
Mathlib/Topology/Algebra/Algebra.lean
feat: port Topology.Algebra.Algebra (#3271)
Added algebraMapClm_toLinearMapView on Github →