law Bq.nmax_ge_one

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

import Base

1156law Bq.nmax_ge_one:
1157  (@+x_0: Nat -> {Bq.Nat.le(1n, Bq.nmax(x_0, 1n)) == True{} : Bool})

Uses (4)