Proofgold Proposition

∀ x0 . SNo x0 ⟶ nIn (SNoLev x0) (SNo_extend0 x0)

type
prop

theory
HotG

name
SNo_extend0_nIn

proof
PUUwp..

Megalodon
SNo_extend0_nIn

proofgold address
TMa2t..^{SNo_extend0_nIn}

creator
4910 Pr6Pc../379c6..

owner
4910 Pr6Pc../379c6..

term root
217cf..