Theorem Subgroup.eq_bot_of_card_eq

Modification history