Theorem iteratedDerivWithin_const_sub

Modification history

2024-12-18 13:24

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

feat: add some iteratedDeriv variants of iteratedDerivWithin lemmas (#19849) …

Added iteratedDerivWithin_const_sub View on Github →