law min_le_right

import bend-mathlib@0.8.1.0/nat.bend as Nat

import Base

1143# The minimum is at most its right argument.
1144law min_le_right:
1145  for a: Nat
1146  for b: Nat
1147  le(Nat.min(a, b), b)

Uses (3)