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

State before:
⊢ Nat.succ 0 = 1
Tactic:
simp
State after:
no goals