Theorem Polynomial.cyclotomic_prime_pow_mul_X_pow_sub_one

Modification history