law nat_add_assoc

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

import Base

245law nat_add_assoc:
246  for +x: Nat
247  for +y: Nat
248  for +z: Nat
249  {Nat.add(Nat.add(x, y), z) == Nat.add(x, Nat.add(y, z)) : Nat}