~/jendhub

law Bq.damage_at_least_one

gralha-bendquest@0.1.0.0 · game.bend:1166

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

1166law Bq.damage_at_least_one:
1167  (@+watk_0: Nat -> (@+str_1: Nat -> (@+df_2: Nat -> (@+crit_3: Bool -> {Bq.Nat.le(1n, Bq.damage(watk_0, str_1, df_2, crit_3)) == True{} : Bool}))))

Uses (12)

Used by (0)

No other definition uses this definition.