law nat_mul_comm

bend-osdev-u32@0.1.0.0 · LAWS.bend:281

import Base

281law nat_mul_comm:
282  for +x: Nat
283  for +y: Nat
284  {Nat.mul(x, y) == Nat.mul(y, x) : Nat}