law add_comm

bend-prot@0.1.0.0 · LAWS.bend:333

import Base

333# Nat addition commutes.
334law add_comm:
335  for a: Nat
336  for b: Nat
337  {Nat.add(a, b) == Nat.add(b, a) : Nat}