law nat_mul_mod
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
578law nat_mul_mod:
579 for a: Nat
580 for b: Nat
581 {Nat.mod(Nat.mul(a, b), b) == 0n : Nat}
Uses (4)
Used by (0)
No other definition uses this definition.
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
578law nat_mul_mod:
579 for a: Nat
580 for b: Nat
581 {Nat.mod(Nat.mul(a, b), b) == 0n : Nat}
No other definition uses this definition.