Theorem: exercise4_1 (LeanCourse/Assignments/Assignment4.lean)

State before:
n : ℕ
⊢ ∑ i in range (n + 1), ↑(i ^ 3) = (∑ i in range (n + 1), ↑i) ^ 2
Tactic:
sorry
State after:
no goals