law u32_cmp_nat

bend-kit-lemmas@0.1.1.0 · lemmas.bend:108

import Base

108law u32_cmp_nat:
109  for a: U32
110  for b: U32
111  {U32.cmp(a, b) == Nat.cmp(U32.to_nat(a), U32.to_nat(b)) : Cmp}