law Bq.Nat.add_sub_cancel

gralha-bendquest@0.1.0.0 · game.bend:770

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

import Base

770law Bq.Nat.add_sub_cancel:
771  (@+x_0: Nat -> (@+y_1: Nat -> (@+__2: {Bq.Nat.le(x_0, y_1) == True{} : Bool} -> {Bq.Nat.add(x_0, Bq.Nat.sub(y_1, x_0)) == y_1 : Nat})))

Uses (8)

Used by (2)