Theorem: LoVe.List.a_property_of_reverse (LoVe/Labs/Lab10Solution.lean)

State before:
α : Type
xs : List α
a : α
⊢ List.reverse (List.concat xs a) = a :: List.reverse xs
Tactic:
apply List.reverse_concat
State after:
no goals