rw [h]
case succ
f : ℝ → ℝ
n : ℕ
h : iteratedDeriv n (-f) = -iteratedDeriv n f
⊢ deriv (iteratedDeriv n (-f)) = -deriv (iteratedDeriv n f)
case succ
f : ℝ → ℝ
n : ℕ
h : iteratedDeriv n (-f) = -iteratedDeriv n f
⊢ deriv (-iteratedDeriv n f) = -deriv (iteratedDeriv n f)