law lt_trans

lawful-words@0.1.0.0 · proof_nat.bend:768

import Base

768law lt_trans:
769  for +a: Nat
770  for +b: Nat
771  for +c: Nat
772  for ab: {Nat.is_lt(a, b) == True{} : Bool}
773  for bc: {Nat.is_lt(b, c) == True{} : Bool}
774  {Nat.is_lt(a, c) == True{} : Bool}