Theorem iteratedDeriv_exp_const_mul

Modification history

2024-01-26 22:26
Mathlib/Analysis/SpecialFunctions/ExpDeriv.lean
feat: iteratedDeriv_const_{s,}mul, iteratedDeriv_{c,}exp_const_mul (#9767) …
Added iteratedDeriv_exp_const_mulView on Github →