Search for blocks/addresses/...
Proofgold Object
In_rec_i
(
λ x0 .
prim5
(
setminus
x0
(
Sing
0
)
)
)
type
ι
→
ι
theory
HotG
name
Unj
definition
PUMB7..
Megalodon
Unj
proofgold address
TMUQz..
Unj
creator
4898
Pr6Pc..
/
def27..
owner
4898
Pr6Pc..
/
def27..
term root
f202c..