Theorem isUniformGroup_of_commGroup

Modification history