Theorem Polynomial.monomial_mul_monomial

Modification history