Theorem ContDiffWithinAt.eventually_hasFTaylorSeriesUpToOn

Modification history

2025-01-07 19:57
Mathlib/Analysis/Calculus/ContDiff/Defs.lean
feat(ContDiff): add `iteratedFDeriv_comp` (#20472)
Added ContDiffWithinAt.eventually_hasFTaylorSeriesUpToOnView on Github →