law nat_mul_add

lawful-words@0.1.0.0 · LAWS.bend:532

import Base

532law nat_mul_add:
533  for a: Nat
534  for b: Nat
535  for c: Nat
536  {Nat.mul(a, Nat.add(b, c)) == Nat.add(Nat.mul(a, b), Nat.mul(a, c)) : Nat}