~/jendhub

law Bq.neq_succ2

gralha-bendquest@0.1.0.0 · game.bend:1286

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

1286law Bq.neq_succ2:
1287  (@+x_0: Nat -> {Bq.Nat.eq(Succ{Succ{x_0}}, x_0) == False{} : Bool})

Uses (3)

Used by (1)