law le_trans

minebender-game@1.0.0.0 · proof_gen.bend:828

import Base

828law le_trans:
829  for +a: Nat
830  for +b: Nat
831  for +c: Nat
832  for e1: {Nat.is_le(a, b) == True{} : Bool}
833  for e2: {Nat.is_le(b, c) == True{} : Bool}
834  {Nat.is_le(a, c) == True{} : Bool}