Theorem Subgroup.card_eq_iff_eq_top

Modification history