law ge_of_not_lt
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Natimport Base
150law ge_of_not_lt:
151 for a: Nat
152 for b: Nat
153 for e: {Nat.is_lt(a, b) == False{} : Bool}
154 LE(b, a)
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Natimport Base
150law ge_of_not_lt:
151 for a: Nat
152 for b: Nat
153 for e: {Nat.is_lt(a, b) == False{} : Bool}
154 LE(b, a)