Search for blocks/addresses/...
Proofgold Proposition
not
(
ordinal
(
Sing
1
)
)
type
prop
theory
HotG
name
not_ordinal_Sing1
proof
PUUwp..
Megalodon
not_ordinal_Sing1
proofgold address
TMKxs..
not_ordinal_Sing1
creator
4910
Pr6Pc..
/
03848..
owner
4910
Pr6Pc..
/
03848..
term root
99a3f..