Theorem Polynomial.mapAlgHom_eq_eval₂AlgHom_CAlgHom

Modification history

2026-03-03 23:24
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(RingTheory/MvPolynomial): add eval results (#35803) …
Added Polynomial.mapAlgHom_eq_eval₂AlgHom_CAlgHomView on Github →