Theorem ContinuousAlgHom.coe_id'

Modification history

2025-12-17 21:56
Mathlib/Topology/Algebra/Algebra.lean
chore(Topology): fix whitespace (#32963) …
Modified ContinuousAlgHom.coe_id'View on Github →
2024-07-28 19:09
Mathlib/Topology/Algebra/Algebra.lean
feat(Topology/Algebra/Algebra): add ContinuousAlgHom (#12800) …
Added ContinuousAlgHom.coe_id'View on Github →