Theorem MvPolynomial.supported_eq_adjoin_X

Modification history