Theorem IsCyclotomicExtension.discr_prime_pow_ne_two

Modification history