Theorem Polynomial.eval_one_cyclotomic_prime_pow

Modification history