Theorem MvPolynomial.map_mvPolynomial_eq_eval₂

Modification history