Theorem IsTopologicalGroup.exist_mul_closure_nhd

Modification history