Theorem: you_might_use_this_theorem_in_your_answer (BrownCs22/Exercises/submission.lean)

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