Commit 2025-05-29 12:59 2fb0087d

View on Github →

feat(Algebra): 5 small lemmas about Taylor (#25293)

Estimated changes

Modified Mathlib/Algebra/Polynomial/HasseDeriv.lean

added theorem Polynomial.hasseDeriv_natDegree_eq_C

Modified Mathlib/Algebra/Polynomial/Taylor.lean

added theorem Polynomial.coeff_taylor_natDegree

added theorem Polynomial.degree_taylor

added theorem Polynomial.leadingCoeff_taylor

added theorem Polynomial.taylor_eq_zero

modified theorem Polynomial.taylor_mul