Theorem taylor_mean_remainder_lagrange_iteratedDeriv

Modification history

2026-03-31 21:25
Mathlib/Analysis/Calculus/Taylor.lean
feat(Calculus): Taylor with integral remainder (#34871) …
Modified taylor_mean_remainder_lagrange_iteratedDerivView on Github →
2025-07-16 10:54
Mathlib/Analysis/Calculus/Taylor.lean
feat(Probability): Hoeffding's lemma (#26744) …
Added taylor_mean_remainder_lagrange_iteratedDerivView on Github →