Theorem isUniformGroup_sInf

Modification history