Theorem Sylow.card_quotient_normalizer_modEq_card_quotient

Modification history