Theorem card_sylow_modEq_one

Modification history