Theorem MvPolynomial.vars_pow

Modification history