Theorem: exercise1_2 (LeanCourse/Assignments/Assignment1.lean)

State before:
a b c d : ℝ
⊢ a + b + c + d = d + (b + a) + c
Tactic:
sorry
State after:
no goals