law add_comm

lawful-words@0.1.0.0 · proof_nat.bend:218

import Base

218law add_comm:
219  for +a: Nat
220  for +b: Nat
221  {Nat.add(a, b) == Nat.add(b, a) : Nat}