Theorem Polynomial.aevalAeval_Y

Modification history

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