law u32_le_lt_trans

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

import Base

128law u32_le_lt_trans:
129  for +a: U32
130  for +b: U32
131  for +c: U32
132  for h1: {U32.is_le(a, b) == True{} : Bool}
133  for h2: {U32.is_lt(b, c) == True{} : Bool}
134  {U32.is_lt(a, c) == True{} : Bool}