Theorem Subsemigroup.topologicalClosure_mono

Modification history

2026-02-26 23:01
Mathlib/Topology/Algebra/Monoid.lean
feat: `Subobject.topologicalClosure_mono` (#35205) …
Added Subsemigroup.topologicalClosure_monoView on Github →