law add_left_comm

lawful-words@0.1.0.0 · proof_nat.bend:246

import Base

246law add_left_comm:
247  for +a: Nat
248  for +b: Nat
249  for +c: Nat
250  {Nat.add(a, Nat.add(b, c)) == Nat.add(b, Nat.add(a, c)) : Nat}