law zero_le
import bend-mathlib@0.8.1.0/nat.bend as Natimport Base
371# Zero is at most every natural: 0 <= b.
372law zero_le:
373 for b: Nat
374 le(0n, b)
import bend-mathlib@0.8.1.0/nat.bend as Natimport Base
371# Zero is at most every natural: 0 <= b.
372law zero_le:
373 for b: Nat
374 le(0n, b)