law min_zero

bend-mathlib@0.8.1.0 · nat.bend:1019

import Base

1019# The minimum with zero is zero: min(a, 0) = 0.
1020law min_zero:
1021  for a: Nat
1022  {Nat.min(a, 0n) == 0n : Nat}