Theorem isUniformGroup_inf

Modification history