Theorem Polynomial.aevalEquiv_apply

Modification history

2026-03-04 12:02
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial): add aevalEquiv and its bivariate version (#35283)
Added Polynomial.aevalEquiv_applyView on Github →