Power_Rule_for_Derivatives_v2
Provedproofwikiretry
The derivative of x^n is n*x^(n-1).
Preamble
import Mathlib.Analysis.Calculus.Deriv.Pow
Formal statement
theorem Power_Rule_for_Derivatives_v2 (n : ℕ) (x : ℝ) (hx : x ≠ 0) : deriv (fun x => x ^ (n : ℕ)) x = ↑n * x ^ (n - 1) := by sorry