law Bq.Nat.add_assoc

gralha-bendquest@0.1.0.0 · game.bend:720

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

import Base

720law Bq.Nat.add_assoc:
721  (@+a_0: Nat -> (@+b_1: Nat -> (@+c_2: Nat -> {Bq.Nat.add(Bq.Nat.add(a_0, b_1), c_2) == Bq.Nat.add(a_0, Bq.Nat.add(b_1, c_2)) : Nat})))

Uses (3)

Used by (1)

gralha-bendquest@0.1.0.0/game:Bq.Bag.add_assoc