Theorem iteratedDeriv_comp_const_mul

Modification history

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