Theorem Subgroup.IsComplement.card_mul

Modification history