Theorem Polynomial.prod_cyclotomic_eq_X_pow_sub_one

Modification history