law nat_add_comm
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
510law nat_add_comm:
511 for a: Nat
512 for b: Nat
513 {Nat.add(a, b) == Nat.add(b, a) : Nat}
Uses (3)
Used by (0)
No other definition uses this definition.
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
510law nat_add_comm:
511 for a: Nat
512 for b: Nat
513 {Nat.add(a, b) == Nat.add(b, a) : Nat}
No other definition uses this definition.