Theorem MvPolynomial.psum_def

Modification history