law zero_nat

stelliferous@0.0.2.0 · proofs/word_encoding.bend:35

import Base

35law zero_nat:
36  for +n: Nat
37  {Word.to_nat(n,Word.zero(n)) == 0n : Nat}