Theorem uniformGroup_of_commGroup

Modification history