Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.coe_taylorAlgHom
Modification history
2025-05-29 12:59
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): add taylorEquiv (#25294)
Added
Polynomial.coe_taylorAlgHom
View on Github →