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

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