Theorem Subgroup.smul_sup

Modification history