Theorem MvPolynomial.weightedDegree_apply

Modification history