law div_zero_l

lawful-words@0.1.0.0 · proof_nat.bend:1164

import Base

1164law div_zero_l:
1165  for +b: Nat
1166  {Nat.div(0n, b) == 0n : Nat}