Theorem MvPolynomial.degrees_esymm

Modification history