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

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