Theorem: LoVe.ab (LoVe/Labs/Lab10Solution.lean)

State before:
a b : Prop
h : a ∨ b
⊢ a ∨ b
Tactic:
destro_and
State after:
no goals