law Word.add_comm

Base · base.bend:1425

1425law Word.add_comm:
1426  for n: Nat
1427  for a: Word(n)
1428  for b: Word(n)
1429  {Word.add(n, a, b) == Word.add(n, b, a) : Word(n)}