Theorem Polynomial.coe_aevalAeval_eq_evalEval

Modification history

2025-08-07 21:32
Mathlib/Algebra/Polynomial/Bivariate.lean
feat(Bivariate): aevalAeval and swap (#27636) …
Added Polynomial.coe_aevalAeval_eq_evalEvalView on Github →