Commit 2025-05-28 17:54 a8e1f826

View on Github →

chore: put sections in Taylor.lean according to the ring (#25270)

Estimated changes

Modified Mathlib/Algebra/Polynomial/Taylor.lean

modified theorem Polynomial.eq_zero_of_hasseDeriv_eq_zero

modified theorem Polynomial.eval_add_of_sq_eq_zero

modified theorem Polynomial.sum_taylor_eq

modified def Polynomial.taylorAlgHom

modified theorem Polynomial.taylor_eval

modified theorem Polynomial.taylor_eval_sub

modified theorem Polynomial.taylor_injective

modified theorem Polynomial.taylor_mul

modified theorem Polynomial.taylor_taylor