Proofgold Object

λ x0 x1 . not (Subq x0 x1)

type
ι → ι → ο

theory
HoTg

name
nSubq

definition
PUKrN..

Megalodon
-

proofgold address
TMTzF..

creator
2749 PrGxv../90472..

owner
2749 PrGxv../90472..

term root
ea71e..