Theorem MvPolynomial.eval₂Hom_comp_expand

Modification history

2025-10-27 15:02
Mathlib/Algebra/MvPolynomial/Expand.lean
feat(MvPolynomial/Expand): more lemmas (#28833)
Added MvPolynomial.eval₂Hom_comp_expandView on Github →