Theorem: L1 (LeanTeaching/Ex2/1.lean)

State before:
P Q R : Prop
h1 : Q → P
h2 : R → P
h3 : Q ∨ R
⊢ P
Tactic:
sorry
State after:
no goals