Theorem Polynomial.eval₂_one_cyclotomic_prime

Modification history