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

State before:
n : ℕ
⊢ n = 0 ∨ n ≠ 0
Tactic:
exact nat_eq_or_ne n 0
State after:
no goals