Theorem MvPolynomial.mem_restrictTotalDegree

Modification history