Theorem Subgroup.IsComplement'_iff_card_mul_and_disjoint

Modification history