Proofgold Proposition

∀ x0 . ordinal x0 ⟶ SNo x0

type
prop

theory
HotG

name
ordinal_SNo

proof
PUUwp..

Megalodon
ordinal_SNo

proofgold address
TMe1K..^ordinal_SNo

creator
4910 Pr6Pc../8f0eb..

owner
4910 Pr6Pc../8f0eb..

term root
ac39b..