law mod_zero_l

lawful-words@0.1.0.0 · proof_nat.bend:1153

import Base

1153law mod_zero_l:
1154  for +b: Nat
1155  {Nat.mod(0n, b) == 0n : Nat}