law nat_add_mul

bend-osdev-u32@0.1.0.0 · LAWS.bend:304

import Base

304law nat_add_mul:
305  for +x: Nat
306  for +y: Nat
307  for +z: Nat
308  {Nat.mul(Nat.add(x, y), z) == Nat.add(Nat.mul(x, z), Nat.mul(y, z)) : Nat}