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

State before:
α : Type
x : α
xs : List α
⊢ [x].IsPrefix (x :: xs)
Tactic:
exact List.prefix_iff_eq_take.mpr rfl
State after:
no goals