Theorem MvPolynomial.aeval_comp_toMvPolynomial

Modification history

2025-03-20 05:49
Mathlib/Algebra/MvPolynomial/Equiv.lean
feat(RingTheory): add `Polynomial.toMvPolynomial` (#22922)
Added MvPolynomial.aeval_comp_toMvPolynomialView on Github →