Search for blocks/addresses/...
Proofgold Proposition
not
(
TransSet
(
Sing
1
)
)
type
prop
theory
HotG
name
not_TransSet_Sing1
proof
PUUwp..
Megalodon
not_TransSet_Sing1
proofgold address
TMWGS..
not_TransSet_Sing1
creator
4910
Pr6Pc..
/
59564..
owner
4910
Pr6Pc..
/
59564..
term root
8f2d6..