Proofgold Proposition

∀ x0 . SNo x0 ⟶ ordinal (SNoLev x0)

type
prop

theory
HotG

name
SNoLev_ordinal

proof
PUUwp..

Megalodon
SNoLev_ordinal

proofgold address
TMNg3..^{SNoLev_ordinal}

creator
4910 Pr6Pc../00d5b..

owner
4910 Pr6Pc../00d5b..

term root
7cacc..