law le_max_right

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

import Base

1177# The right argument is at most the maximum.
1178law le_max_right:
1179  for a: Nat
1180  for b: Nat
1181  le(b, Nat.max(a, b))

Uses (4)