Theorem Polynomial.coeff_monomial_succ

Modification history