Theorem Subgroup.card_eq_card_quotient_mul_card_subgroup

Modification history