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

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