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

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