law add_assoc

lawful-words@0.1.0.0 · proof_nat.bend:232

import Base

232law add_assoc:
233  for +a: Nat
234  for +b: Nat
235  for +c: Nat
236  {Nat.add(Nat.add(a, b), c) == Nat.add(a, Nat.add(b, c)) : Nat}