Theorem Sylow.card_eq_multiplicity

Modification history