law u32_le_trans

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

import Base

112law u32_le_trans:
113  for +a: U32
114  for +b: U32
115  for +c: U32
116  for h1: {U32.is_le(a, b) == True{} : Bool}
117  for h2: {U32.is_le(b, c) == True{} : Bool}
118  {U32.is_le(a, c) == True{} : Bool}