Theorem Subgroup.isComplement'_iff_card_mul_and_disjoint

Modification history