Theorem: problem_2 (BrownCs22/Homework/Hw1.lean)

State before:
p q r s : Prop
⊢ (p → ¬q) → ¬(p ∧ q)
Tactic:
sorry
State after:
no goals