Theorem Sylow.exists_subgroup_card_pow_prime_le

Modification history