Derivative_of_Exponential_Function
Provedderivative-of-exponential-functionderivatives-involving-exponential-functionexponential-functionproofwiki
The derivative of exp(x) is exp(x).
Preamble
import Mathlib.Analysis.SpecialFunctions.ExpDeriv import Mathlib.Tactic variable (x : ℝ)
Formal statement
theorem Derivative_of_Exponential_Function : HasDerivAt Real.exp (Real.exp x) x := by sorry
Source