Theorem MvPolynomial.rename_psum

Modification history