Proofgold Proposition

∀ x0 . SNo x0 ⟶ x0 ∈ SNoS_ (ordsucc (SNoLev x0))

type
prop

theory
HotG

name
SNoS_SNoLev

proof
PUUwp..

Megalodon
SNoS_SNoLev

proofgold address
TMbma..^SNoS_SNoLev

creator
4910 Pr6Pc../a39ce..

owner
4910 Pr6Pc../a39ce..

term root
a9ba1..