Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLev x0 = x0 ⟶ SNoR x0 = 0

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_ordinal_SNoR__1__0

proofgold address
TMVQw..^{Conj_ordinal_SNoR__1__0}

creator
35053 PrNpY../2a078..

owner
35061 PrNpY../a6f43..

term root
a6a7f..