Theorem Polynomial.aeval_prod_apply

Modification history

2025-01-28 07:05
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial): `Polynomial.aeval` for product algebras (#21062) …
Added Polynomial.aeval_prod_applyView on Github →