Theorem topologicalGroup_inf

Modification history