def not_lt_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/nat.bend:86

import Base

86def not_lt_zero(+n: Nat) -> {Nat.is_lt(n, 0n) == False{} : Bool}:
87  match n:
88    case 0n:
89      {==}
90    case 1n+p:
91      {==}