Theorem Polynomial.coe_taylorAlgHom

Modification history

2025-05-29 12:59
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): add taylorEquiv (#25294)
Added Polynomial.coe_taylorAlgHomView on Github →