law nat_add_left_comm

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

import Base

251law nat_add_left_comm:
252  for +x: Nat
253  for +y: Nat
254  for +z: Nat
255  {Nat.add(x, Nat.add(y, z)) == Nat.add(y, Nat.add(x, z)) : Nat}