Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
binunion
(
prim5
x0
Inj0
)
(
prim5
x1
Inj1
)
type
ι
→
ι
→
ι
theory
HotG
name
setsum
definition
PUMB7..
Megalodon
setsum
proofgold address
TMctw..
setsum
creator
4898
Pr6Pc..
/
93d20..
owner
4898
Pr6Pc..
/
93d20..
term root
afe37..