Theorem MvPolynomial.rename_monomial

Modification history