Theorem MvPolynomial.psum_zero

Modification history