law nat_lt_add

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

import Base

344law nat_lt_add:
345  for +x: Nat
346  for +w: Nat
347  {Nat.is_lt(x, Nat.add(w, 1n+x)) == True{} : Bool}