Theorem Polynomial.taylor_eq_zero

Modification history

2025-05-29 12:59
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): 5 small lemmas about Taylor (#25293)
Added Polynomial.taylor_eq_zeroView on Github →