Theorem IsCyclotomicExtension.discr_odd_prime

Modification history