Theorem Polynomial.int_coeff_of_cyclotomic'

Modification history