Def Submonoid.topologicalClosure

Modification history

2023-07-31 15:32

Mathlib/Topology/Algebra/Monoid.lean

chore: tidy various files (#6174)

Modified Submonoid.topologicalClosure View on Github →

2023-02-14 14:45

Mathlib/Topology/Algebra/Monoid.lean

feat: port Topology.Algebra.Monoid (#2245)

Added Submonoid.topologicalClosure View on Github →