Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLev x0 ∈ SNo_extend1 x0

type
prop

theory
HotG

name
SNo_extend1_In

proof
PUUwp..

Megalodon
SNo_extend1_In

proofgold address
TMRnf..^{SNo_extend1_In}

creator
4910 Pr6Pc../8c94c..

owner
4910 Pr6Pc../8c94c..

term root
ac957..