law nat_mul_one
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
268law nat_mul_one:
269 for +x: Nat
270 {Nat.mul(x, 1n) == x : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
268law nat_mul_one:
269 for +x: Nat
270 {Nat.mul(x, 1n) == x : Nat}