law Bq.nmin_le_r

import gralha-bendquest@0.1.0.0/game.bend as Game

import Base

1122law Bq.nmin_le_r:
1123  (@+a_0: Nat -> (@+b_1: Nat -> {Bq.Nat.le(Bq.nmin(a_0, b_1), b_1) == True{} : Bool}))

Uses (4)