law Bq.Bag.add_assoc

gralha-bendquest@0.1.0.0 · game.bend:730

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

import Base

730law Bq.Bag.add_assoc:
731  (@+a_0: Bq.Bag -> (@+b_1: Bq.Bag -> (@+c_2: Bq.Bag -> {Bq.Bag.add(Bq.Bag.add(a_0, b_1), c_2) == Bq.Bag.add(a_0, Bq.Bag.add(b_1, c_2)) : Bq.Bag})))

Uses (7)

Used by (5)