law lt_zero

minebender-game@1.0.0.0 · proof_base.bend:126

import Base

126law lt_zero:
127  for +i: Nat
128  {Nat.is_lt(i, 0n) == False{} : Bool}