Theorem Sylow.card_eq_card_quotient_normalizer

Modification history