law zero_div_sym

bend-mathlib@0.8.1.0 · nat.bend:4351

import Base

4351# Zero divided by anything is zero: 0 / b = 0, reversed to rewrite toward the simple side.
4352law zero_div_sym:
4353  for b: Nat
4354  {0n == Nat.div(0n, b) : Nat}