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

State before:
α : Type u_1
xs : List α
⊢ [] ++ xs = xs
Tactic:
rfl
State after:
no goals