Theorem Polynomial.int_coeff_eq

Modification history