Proofgold Proposition

∀ x0 . CSNo x0 ⟶ ExtendedSNoElt_ 3 x0

type
prop

theory
HotG

name
CSNo_ExtendedSNoElt_3

proof
PUQvq..

Megalodon
CSNo_ExtendedSNoElt_3

proofgold address
TMVd9..^{CSNo_ExtendedSNoElt_3}

creator
28444 PrQUS../0e5ca..

owner
28444 PrQUS../0e5ca..

term root
5700d..