Theorem Subsemigroup.le_topologicalClosure

Modification history