Theorem Polynomial.smul_monomial

Modification history