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

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