Theorem: PrefixAppend (FOL/NV/Program/PEG.lean)

State before:
α : Type
xs ys : List α
⊢ xs.IsPrefix (xs ++ ys)
Tactic:
exact List.prefix_append xs ys
State after:
no goals