law nat_add_comm

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

import Base

240law nat_add_comm:
241  for +x: Nat
242  for +y: Nat
243  {Nat.add(x, y) == Nat.add(y, x) : Nat}