Theorem Polynomial.coeff_neg

Modification history