Search for blocks/addresses/...
Proofgold Proposition
prim4
(
Sing
0
)
=
UPair
0
(
Sing
0
)
type
prop
theory
HotG
name
Power_Sing_0
proof
PUL8Q..
Megalodon
Power_Sing_0
proofgold address
TMTeC..
Power_Sing_0
creator
4882
Pr6Pc..
/
97889..
owner
4882
Pr6Pc..
/
97889..
term root
24373..