law nat_lt_le

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:68

import Base

68law nat_lt_le:
69  for +a: Nat
70  for +b: Nat
71  for h1: {Nat.is_lt(a, b) == True{} : Bool}
72  {Nat.is_le(a, b) == True{} : Bool}