Def Polynomial.aevalAevalEquiv

Modification history

2026-03-04 12:02

Mathlib/Algebra/Polynomial/Bivariate.lean

feat(Algebra/Polynomial): add aevalEquiv and its bivariate version (#35283)

Added Polynomial.aevalAevalEquiv View on Github →