law lt_zero

lawful-arrays@0.1.0.0 · proof_base.bend:136

import Base

136law lt_zero:
137  for +i: Nat
138  {Nat.is_lt(i, 0n) == False{} : Bool}