Theorem MvPolynomial.totalDegree_finsetSum_le

Modification history