Theorem card_sylow_eq_card_quotient_normalizer

Modification history