Search for blocks/addresses/...
Proofgold Object
λ x0 .
and
(
TransSet
x0
)
(
∀ x1 .
x1
∈
x0
⟶
TransSet
x1
)
type
ι
→
ο
theory
HotG
name
ordinal
definition
PUL8Q..
Megalodon
ordinal
proofgold address
TMJ4C..
ordinal
creator
4882
Pr6Pc..
/
fc088..
owner
4882
Pr6Pc..
/
fc088..
term root
ee28d..