Theorem iteratedDerivWithin_add

Modification history

2025-02-15 04:27

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

chore(Analysis): relax arguments of `iteratedFDerivWithin_add_apply` and friends (#21677)

Modified iteratedDerivWithin_add View on Github →

2024-01-19 09:25

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

feat: add lemmas about iteratedDerivWithin (#9679) …

Added iteratedDerivWithin_add View on Github →