law add_comm

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

import Base

55law add_comm:
56  for  a: Nat
57  for +b: Nat
58  {Nat.add(a, b) == Nat.add(b, a) : Nat}