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

State before:
x : ℕ
⊢ x + 1 - 1 = x
Tactic:
simp
State after:
no goals