law append_assoc

minebender-game@1.0.0.0 · proof_base.bend:235

import Base

235law append_assoc:
236  for -A: Data
237  for +xs: List<&2, A>
238  for +ys: List<&2, A>
239  for +zs: List<&2, A>
240  {List.append(&2, A, List.append(&2, A, xs, ys), zs)
241    == List.append(&2, A, xs, List.append(&2, A, ys, zs)) : List<&2, A>}