Theorem fderiv_eq_smul_deriv

Modification history

2024-07-14 12:16
Mathlib/Analysis/Calculus/Deriv/Basic.lean
feat: Lemma for `fderiv` of scalar function (#14502) …
Added fderiv_eq_smul_derivView on Github →