Search for blocks/addresses/...
Proofgold Object
λ x0 .
and
(
Group
x0
)
(
unpack_b_o
x0
explicit_abelian
)
type
ι
→
ο
theory
HotG
name
abelian_Group
definition
PUMaE..
Megalodon
abelian_Group
proofgold address
TMKxw..
abelian_Group
creator
4924
Pr6Pc..
/
f7161..
owner
4924
Pr6Pc..
/
f7161..
term root
c9c27..