law nat_mul_zero
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
264law nat_mul_zero:
265 for +x: Nat
266 {Nat.mul(x, 0n) == 0n : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
264law nat_mul_zero:
265 for +x: Nat
266 {Nat.mul(x, 0n) == 0n : Nat}