Theorem iteratedDerivWithin_const_neg

Modification history

2024-12-18 13:24
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat: add some iteratedDeriv variants of iteratedDerivWithin lemmas (#19849) …
Deleted iteratedDerivWithin_const_negView on Github →
2024-01-19 09:25
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat: add lemmas about iteratedDerivWithin (#9679) …
Added iteratedDerivWithin_const_negView on Github →