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..