Theorem iteratedDerivWithin_sub

Modification history

2024-01-19 09:25

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

feat: add lemmas about iteratedDerivWithin (#9679) …

Added iteratedDerivWithin_sub View on Github →