Proofgold Proposition

∀ x0 . SNo x0 ⟶ ExtendedSNoElt_ 2 x0

type
prop

theory
HotG

name
SNo_ExtendedSNoElt_2

proof
PUQvq..

Megalodon
SNo_ExtendedSNoElt_2

proofgold address
TMVMD..^{SNo_ExtendedSNoElt_2}

creator
28444 PrQUS../78b45..

owner
28444 PrQUS../78b45..

term root
16e5e..