Theorem Subgroup.topologicalClosure_mono

Modification history

2026-08-24 07:44
Mathlib/Topology/Algebra/Group/Basic.lean
refactor(Topology/Algebra/Group): split long file Basic.lean (#43010) …
Modified Subgroup.topologicalClosure_monoView on Github →
2026-02-26 23:01
Mathlib/Topology/Algebra/Group/Basic.lean
feat: `Subobject.topologicalClosure_mono` (#35205) …
Added Subgroup.topologicalClosure_monoView on Github →