Theorem Polynomial.aevalAevalEquiv_apply

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