law nat_le_add_r

bend-osdev-u32@0.1.0.0 · LAWS_order.bend:41

import Base

41law nat_le_add_r:
42  for +x: Nat
43  for +w: Nat
44  {Nat.is_le(x, Nat.add(x, w)) == True{} : Bool}