Theorem MvPolynomial.vars_add_subset

Modification history