Theorem Polynomial.cyclotomic_prime

Modification history