Proofgold Proposition

∀ x0 . SNo x0 ⟶ and (ordinal (SNoLev x0)) (SNo_ (SNoLev x0) x0)

type
prop

theory
HotG

name
SNoLev_prop

proof
PUUwp..

Megalodon
SNoLev_prop

proofgold address
TMTeC..^SNoLev_prop

creator
4910 Pr6Pc../b2834..

owner
4910 Pr6Pc../b2834..

term root
a8afc..