Theorem MvPolynomial.supported_eq_vars_subset

Modification history