Theorem MvPolynomial.smul_monomial

Modification history