Theorem IsCyclotomicExtension.discr_prime_pow

Modification history