law nat_mul_assoc

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

import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWS

import Base

286law nat_mul_assoc:
287  for +x: Nat
288  for +y: Nat
289  for +z: Nat
290  {Nat.mul(Nat.mul(x, y), z) == Nat.mul(x, Nat.mul(y, z)) : Nat}

Uses (6)

Used by (1)

bend-osdev-u32@0.1.0.0/LAWS:nat_mul_left_comm