law lt_irrefl

lawful-words@0.1.0.0 · proof_nat.bend:612

import Base

612law lt_irrefl:
613  for +n: Nat
614  {Nat.is_lt(n, n) == False{} : Bool}