Theorem MvPolynomial.esymm_zero

Modification history