Theorem MvPolynomial.degrees_sum

Modification history