Theorem Polynomial.coeff_divX

Modification history