Theorem: Tutorial.hasDerivAt_pow (Tutorial/Advanced/Analysis/Lecture1.lean)

State before:
f : ℝ → ℝ
f' a✝ : ℝ
g : ℝ → ℝ
g' : ℝ
n : ℕ
a : ℝ
⊢ HasDerivAt (fun x => x ^ (n + 1)) ((↑n + 1) * a ^ n) a
Tactic:
sorry
State after:
no goals