law le_trans

import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat

import Base

63law le_trans:
64  for a: Nat
65  for b: Nat
66  for c: Nat
67  for ab: LE(a, b)
68  for bc: LE(b, c)
69  LE(a, c)

Uses (3)