Theorem MvPolynomial.mem_restrictDegree

Modification history