Theorem: list_rev_empty2 (Katydid/Std/Lists.lean)

State before:
α : Type u_1
⊢ reverse [] = []
Tactic:
trivial
State after:
no goals