law add_swap

lawful-words@0.1.0.0 · proof_nat.bend:258

import Base

258law add_swap:
259  for +a: Nat
260  for +b: Nat
261  for +c: Nat
262  for +d: Nat
263  {Nat.add(Nat.add(a, b), Nat.add(c, d)) == Nat.add(Nat.add(a, c), Nat.add(b, d)) : Nat}