law cnt_append

minebender-game@1.0.0.0 · proof_gen.bend:657

import Base

657law cnt_append:
658  for +i: Nat
659  for +xs: List<&2, Nat>
660  for +ys: List<&2, Nat>
661  {cnt(i, List.append(&2, Nat, xs, ys)) == Nat.add(cnt(i, xs), cnt(i, ys)) : Nat}