Theorem Subgroup.smul_leftQuotientEquiv

Modification history