law le_trans

lawful-words@0.1.0.0 · proof_nat.bend:725

import Base

725law le_trans:
726  for +a: Nat
727  for +b: Nat
728  for +c: Nat
729  for ab: {Nat.is_le(a, b) == True{} : Bool}
730  for bc: {Nat.is_le(b, c) == True{} : Bool}
731  {Nat.is_le(a, c) == True{} : Bool}