Search for blocks/addresses/...
Proofgold Object
λ x0 .
and
(
struct_b
x0
)
(
unpack_b_o
x0
explicit_Group
)
type
ι
→
ο
theory
HotG
name
Group
definition
PUMaE..
Megalodon
Group
proofgold address
TMVKT..
Group
creator
4924
Pr6Pc..
/
575af..
owner
4924
Pr6Pc..
/
575af..
term root
3bcfd..