Theorem MvPolynomial.eval₂Hom_eq_constantCoeff_of_vars

Modification history