Theorem iteratedDerivWithin_comp_const_smul

Modification history

2024-12-28 10:33
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
chore: rename iteratedDeriv_const_{smul,mul} (#20136)
Added iteratedDerivWithin_comp_const_smulView on Github →