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

State before:
⊢ 1 + 1 = 2
Tactic:
numbers
State after:
no goals