Theorem Sylow.exists_subgroup_card_pow_prime

Modification history