law product_append

bend-ml-nat-lemmas@0.1.2.0 · main.bend:273

import Base

273law product_append:
274  for +xs: List<&2, Nat>
275  for +ys: List<&2, Nat>
276  {product(List.append(&2, Nat, xs, ys)) == Nat.mul(product(xs), product(ys)) : Nat}