law add_left_comm

minebender-game@1.0.0.0 · proof_base.bend:463

import Base

463law add_left_comm:
464  for +a: Nat
465  for +b: Nat
466  for +c: Nat
467  {Nat.add(a, Nat.add(b, c)) == Nat.add(b, Nat.add(a, c)) : Nat}