law add_swap

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

import Base

82law add_swap:
83  for +n: Nat
84  for +k: Nat
85  for +m: Nat
86  {Nat.add(n, Nat.add(k, m)) == Nat.add(k, Nat.add(n, m)) : Nat}