law Bq.Nat.add_comm

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

import Base

686law Bq.Nat.add_comm:
687  (@+a_0: Nat -> (@+b_1: Nat -> {Bq.Nat.add(a_0, b_1) == Bq.Nat.add(b_1, a_0) : Nat}))

Uses (5)