~/jendhub

law Bq.nmax

gralha-bendquest@0.1.0.0 · game.bend:550

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

550law Bq.nmax:
551  (@+a_0: Nat -> (@+b_1: Nat -> Nat))

Uses (1)

Used by (7)