law Deque.lemma.append_assoc

bend-kit-collections@0.1.4.1 · deque.bend:226

import Base

226law Deque.lemma.append_assoc:
227  for -A: Data
228  for  xs: List<&2, A>
229  for -ys: List<&2, A>
230  for -zs: List<&2, A>
231  {List.append(&2, A, List.append(&2, A, xs, ys), zs)
232   == List.append(&2, A, xs, List.append(&2, A, ys, zs)) : List<&2, A>}