Theorem: LoVe.abcdef_1 (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