Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ordinal x0∀ x1 . x1x0ordinal x1
type
prop
theory
HotG
name
ordinal_Hered
proof
PUL8Q..
Megalodon
ordinal_Hered
proofgold address
TMNMs..ordinal_Hered
creator
4882 Pr6Pc../b1a6e..
owner
4882 Pr6Pc../b1a6e..
term root
a7e78..