law add_zero

bend-collections@1.0.0.0 · proofs/crypto/sha/list_proofs.bend:58

import Base

58law add_zero:
59  for n: Nat
60  {Nat.add(n, 0n) == n : Nat}