law add_assoc

bend-ml-llama@0.2.1.0 · main.bend:66

import Base

66law add_assoc:
67  for  a: Nat
68  for -b: Nat
69  for -c: Nat
70  {Nat.add(Nat.add(a, b), c) == Nat.add(a, Nat.add(b, c)) : Nat}