~/jendhub

law Bq.Nat.add_zero

gralha-bendquest@0.1.0.0 · game.bend:666

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

666law Bq.Nat.add_zero:
667  (@+a_0: Nat -> {Bq.Nat.add(a_0, 0n) == a_0 : Nat})

Uses (3)

Used by (1)