Theorem: LeanDemo.add_assoc (LeanMeetup/Demo01.lean)

State before:
x y z : Nat
⊢ x + y + z = x + (y + z)
Tactic:
sorry
State after:
no goals