Theorem Polynomial.monomial_add

Modification history