Theorem iteratedDerivWithin_const

Modification history

2025-12-02 22:00
Mathlib/Analysis/Calculus/IteratedDeriv/Defs.lean
feat: iteratedDeriv_const and iteratedDerivWithin_const (#32366)
Added iteratedDerivWithin_constView on Github →