law u32_to_nat_word

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

import Base

179law u32_to_nat_word:
180  for -x: Word(32n)
181  {Word.to_nat(32n, x) == U32.to_nat(U32{x}) : Nat}