~/jendhub

law Bq.nmin

gralha-bendquest@0.1.0.0 · game.bend:536

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

536law Bq.nmin:
537  (@+a_0: Nat -> (@+b_1: Nat -> Nat))

Uses (1)

Used by (7)