Theorem topologicalGroup_is_uniform_of_compactSpace

Modification history