Theorem IsTopologicalGroup.exist_mul_closure_nhds

Modification history