Theorem Sylow.exists_subgroup_card_pow_succ

Modification history