law add4

bend-ml-nat-lemmas@0.1.2.0 · main.bend:173

import Base

173law add4:
174  for +a: Nat
175  for +b: Nat
176  for +c: Nat
177  for +d: Nat
178  {Nat.add(Nat.add(a, b), Nat.add(c, d)) == Nat.add(Nat.add(a, c), Nat.add(b, d)) : Nat}