Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0(∀ x1 . x1SNoS_ (SNoLev x0)SNoLt x1 x0)ordinal x0
type
prop
theory
HotG
name
SNo_max_ordinal
proof
PUK1b..
Megalodon
SNo_max_ordinal
proofgold address
TMTYD..SNo_max_ordinal
creator
4949 Pr6Pc../dfb21..
owner
4949 Pr6Pc../dfb21..
term root
0b230..