law append_nil

bend-ml-nat-lemmas@0.1.2.0 · main.bend:228

import Base

228law append_nil:
229  for -A: Data
230  for  xs: List<&2, A>
231  {List.append(&2, A, xs, Nil{}) == xs : List<&2, A>}