law lt_zero

lawful-words@0.1.0.0 · proof_nat.bend:601

import Base

601law lt_zero:
602  for +i: Nat
603  {Nat.is_lt(i, 0n) == False{} : Bool}