Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo_ (ordsucc (SNoLev x0)) (SNo_extend1 x0)

type
prop

theory
HotG

name
SNo_extend1_SNo_

proof
PUUwp..

Megalodon
SNo_extend1_SNo_

proofgold address
TMXbE..^{SNo_extend1_SNo_}

creator
4910 Pr6Pc../29b53..

owner
4910 Pr6Pc../29b53..

term root
b7b86..