Theorem iteratedFDerivWithin_comp_add_left'

Modification history

2024-12-10 06:48
Mathlib/Analysis/Calculus/ContDiff/FTaylorSeries.lean
feat: more API for iteratedFDeriv (#19769) …
Added iteratedFDerivWithin_comp_add_left'View on Github →