Theorem iteratedDerivWithin_comp_const_add

Modification history

2026-04-23 19:18

Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean

feat(Analysis/Calculus/IteratedDeriv): add affine composition lemmas (#36357) …

Added iteratedDerivWithin_comp_const_add View on Github →