Theorem: Hw7.even_or_odd (BrownCs22/Homework/Hw7.lean)

State before:
⊢ ∀ (n : ℕ), MyEven n ∨ MyOdd n
Tactic:
sorry
State after:
no goals