Theorem: _x112 (BrownCs22/Homework/Hw8.lean)

State before:
x : ℕ
⊢ x + 1 + 1 = x + 2
Tactic:
rw [add_assoc]
State after:
no goals