law append_assoc_reverse

bend-collections@1.0.0.0 · proofs/crypto/sha/list_proofs.bend:70

import Base

70law append_assoc_reverse:
71  for -A: Data
72  for +xs: List<&2, A>
73  for +ys: List<&2, A>
74  for +zs: List<&2, A>
75  {List.append(&2, A, xs, List.append(&2, A, ys, zs))
76    == List.append(&2, A, List.append(&2, A, xs, ys), zs) : List<&2, A>}