Commit 2025-05-29 12:59 2b2788e7

View on Github →

feat(Algebra): add taylorEquiv (#25294)

Estimated changes

Modified Mathlib/Algebra/Polynomial/Taylor.lean

added theorem Polynomial.coe_taylorAlgHom

added theorem Polynomial.coe_taylorEquiv

added theorem Polynomial.taylorEquiv_symm