Theorem MvPolynomial.psum_one

Modification history