Theorem: RuesDiffDeriv (NazgandLean4/RootOfUnityExponentialSum.lean)

State before:
n : ℕ+
m : ℤ
⊢ deriv (RuesDiff n m) = RuesDiff n (m + 1)
Tactic:
sorry
State after:
no goals