Theorem fderiv_eq_deriv_mul

Modification history

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