Theorem MvPolynomial.vars_monomial_single

Modification history