Proofgold Proposition

∀ x0 . OSNo x0 ⟶ ExtendedSNoElt_ 5 x0

type
prop

theory
HotG

name
OSNo_ExtendedSNoElt_5

proof
PUdK2..

Megalodon
OSNo_ExtendedSNoElt_5

proofgold address
TMX9D..^{OSNo_ExtendedSNoElt_5}

creator
28513 PrQUS../cf631..

owner
28513 PrQUS../cf631..

term root
5f1c6..