law nat_le_add

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

import Base

339law nat_le_add:
340  for +x: Nat
341  for +w: Nat
342  {Nat.is_le(x, Nat.add(w, x)) == True{} : Bool}