~/jendhub

law Bq.le_nmax

gralha-bendquest@0.1.0.0 · game.bend:1172

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

1172law Bq.le_nmax:
1173  (@+a_0: Nat -> (@+b_1: Nat -> (@+c_2: Nat -> (@+ea_3: {Bq.Nat.le(a_0, c_2) == True{} : Bool} -> (@+eb_4: {Bq.Nat.le(b_1, c_2) == True{} : Bool} -> {Bq.Nat.le(Bq.nmax(a_0, b_1), c_2) == True{} : Bool})))))

Uses (6)

Used by (1)