Def Polynomial.aevalEquiv

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 View on Github →