law add_comm

minebender-game@1.0.0.0 · proof_base.bend:435

import Base

435law add_comm:
436  for +a: Nat
437  for +b: Nat
438  {Nat.add(a, b) == Nat.add(b, a) : Nat}