Theorem iteratedDerivWithin_add

Modification history

2024-01-19 09:25

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

feat: add lemmas about iteratedDerivWithin (#9679) …

Added iteratedDerivWithin_add View on Github →