Theorem Subgroup.eq_bot_or_eq_top_of_prime_card

Modification history