Proofgold Proposition

∀ x0 . CSNo x0 ⟶ ordinal (CSNoLev x0)

type
prop

theory
HotG

name
CSNoLev_ordinal

proof
PUQvq..

Megalodon
CSNoLev_ordinal

proofgold address
TMQiZ..^{CSNoLev_ordinal}

creator
28444 PrQUS../d9c93..

owner
28444 PrQUS../d9c93..

term root
14326..