law nat_mul_add

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

import Base

298law nat_mul_add:
299  for +x: Nat
300  for +y: Nat
301  for +z: Nat
302  {Nat.mul(x, Nat.add(y, z)) == Nat.add(Nat.mul(x, y), Nat.mul(x, z)) : Nat}