Theorem ContinuousMonoidHom.coe_comp

Modification history

2025-01-31 11:58
Mathlib/Topology/Algebra/ContinuousMonoidHom.lean
refactor(Topology/Group): turn morphisms in ProfiniteGrp into one field structures (#20740) …
Added ContinuousMonoidHom.coe_compView on Github →