Theorem Polynomial.monomial_sub

Modification history