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

State before:
a b c d : Prop
h : a ∧ (b ∧ c) ∧ d
⊢ b ∧ d
Tactic:
destro_and
State after:
no goals