law add_assoc

minebender-game@1.0.0.0 · proof_base.bend:449

import Base

449law add_assoc:
450  for +a: Nat
451  for +b: Nat
452  for +c: Nat
453  {Nat.add(Nat.add(a, b), c) == Nat.add(a, Nat.add(b, c)) : Nat}