law U32.add_comm

Base · base.bend:1473

1473law U32.add_comm:
1474  for a: U32
1475  for b: U32
1476  {U32.add(a, b) == U32.add(b, a) : U32}