law nat_add_assoc

lawful-words@0.1.0.0 · LAWS.bend:515

import Base

515law nat_add_assoc:
516  for a: Nat
517  for b: Nat
518  for c: Nat
519  {Nat.add(Nat.add(a, b), c) == Nat.add(a, Nat.add(b, c)) : Nat}