Theorem algebraMapClm_coe

Modification history

2024-01-26 03:03

Mathlib/Topology/Algebra/Algebra.lean

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

Deleted algebraMapClm_coe View on Github →

2023-04-05 08:46

Mathlib/Topology/Algebra/Algebra.lean

feat: port Topology.Algebra.Algebra (#3271)

Added algebraMapClm_coe View on Github →