~/jendhub

law Bq.Bag.add_comm

gralha-bendquest@0.1.0.0 · game.bend:706

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

706law Bq.Bag.add_comm:
707  (@+a_0: Bq.Bag -> (@+b_1: Bq.Bag -> {Bq.Bag.add(a_0, b_1) == Bq.Bag.add(b_1, a_0) : Bq.Bag}))

Uses (8)

Used by (3)