law map_append

minebender-game@1.0.0.0 · proof_sums.bend:18

import Base

18law map_append:
19  for +xs: List<&2, Nat>
20  for +ys: List<&2, Nat>
21  {smap(List.append(&2, Nat, xs, ys))
22    == List.append(&2, Nat, smap(xs), smap(ys)) : List<&2, Nat>}