Theorem iteratedDeriv_const

Modification history

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