law zero_div

bend-mathlib@0.8.1.0 · nat.bend:1848

import Base

1848# Zero divided by anything is zero: 0 / b = 0.
1849law zero_div:
1850  for b: Nat
1851  {Nat.div(0n, b) == 0n : Nat}