Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
ordinal
(
SetAdjoin
x0
(
Sing
1
)
)
⟶
False
type
prop
theory
HF
name
-
proof
PUQ8e..
Megalodon
tagged_not_ordinal
proofgold address
TMQGy..
tagged_not_ordinal
creator
2357
PrGxv..
/
967c2..
owner
2357
PrGxv..
/
967c2..
term root
0016d..