Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_extend0_SNo_

proof
PUUwp..

Megalodon
SNo_extend0_SNo_

proofgold address
TMH2y..^{SNo_extend0_SNo_}

creator
4910 Pr6Pc../788e5..

owner
4910 Pr6Pc../788e5..

term root
d41d3..