Theorem MvPolynomial.totalDegree_finset_prod

Modification history