Theorem Subgroup.isComplement'_of_card_mul_and_disjoint

Modification history