Theorem iteratedDeriv_const_add

Modification history

2024-12-18 13:24

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

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

Added iteratedDeriv_const_add View on Github →