Theorem MvPolynomial.vars_monomial

Modification history