law nat_le_trans

bend-osdev-u32@0.1.0.0 · LAWS_order.bend:9

import Base

9law nat_le_trans:
10  for +x: Nat
11  for +y: Nat
12  for +z: Nat
13  for h1: {Nat.is_le(x, y) == True{} : Bool}
14  for h2: {Nat.is_le(y, z) == True{} : Bool}
15  {Nat.is_le(x, z) == True{} : Bool}