Theorem: two_imp (BrownCs22/Demos/01-intro.lean)

State before:
p q r : Prop
h1 : p → q
h2 : q → ¬r
⊢ r → ¬p
Tactic:
sorry
State after:
no goals