Theorem MvPolynomial.vars_one

Modification history