Theorem: LoVe.List.reverse_twice_library_search (LoVe/Lectures/LoVe08_Metaprogramming_Demo.lean)

State before:
xs : List ℕ
⊢ List.reverse (List.reverse xs) = xs
Tactic:
library_search
State after:
no goals