Theorem Subgroup.eq_top_of_le_card

Modification history