Proofgold Proposition

∀ x0 . OSNo x0 ⟶ ordinal (OSNoLev x0)

type
prop

theory
HotG

name
OSNoLev_ordinal

proof
PUdK2..

Megalodon
OSNoLev_ordinal

proofgold address
TMVPt..^{OSNoLev_ordinal}

creator
28513 PrQUS../1880d..

owner
28513 PrQUS../1880d..

term root
49d6e..