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

State before:
⊢ 0 + 1 = 1
Tactic:
simp
State after:
no goals