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

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