Theorem iteratedDeriv_sub

Modification history

2024-12-18 13:24

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

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

Added iteratedDeriv_sub View on Github →