law add_assoc

bend-ml-nat-lemmas@0.1.2.0 · main.bend:71

import Base

71law add_assoc:
72  for  a: Nat
73  for -b: Nat
74  for -c: Nat
75  {Nat.add(a, Nat.add(b, c)) == Nat.add(Nat.add(a, b), c) : Nat}