law from_nat_add

lawful-words@0.1.0.0 · LAWS.bend:123

import Base

123law from_nat_add:
124  for x: Nat
125  for y: Nat
126  {U32.from_nat(Nat.add(x, y)) == U32.add(U32.from_nat(x), U32.from_nat(y)) : U32}