Theorem Submonoid.coe_topologicalClosure

Modification history