law zero_min

bend-mathlib@0.8.1.0 · nat.bend:1031

import Base

1031# The minimum with zero is zero: min(0, a) = 0.
1032law zero_min:
1033  for a: Nat
1034  {Nat.min(0n, a) == 0n : Nat}