Theorem Polynomial.coeff_monomial

Modification history