~/jendhub

law add_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/lists.bend:42

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/lists.bend as Lists
import Base

42law add_zero:
43  for +n: Nat
44  {Nat.add(n, 0n) == n : Nat}

Uses (2)

Used by (4)