Theorem iteratedFDerivWithin_sub_apply

Modification history

2026-02-19 13:50
Mathlib/Analysis/Calculus/ContDiff/Operations.lean
feat: iterated derivatives of differences of functions (#35256) …
Added iteratedFDerivWithin_sub_applyView on Github →