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

State before:
α : Type
xs : List α
⊢ [].IsPrefix xs
Tactic:
exact List.nil_prefix xs
State after:
no goals