Theorem Subgroup.eq_bot_iff_card

Modification history