Proofgold Proposition

∀ x0 . OSNo x0 ⟶ OSNo (conj_OSNo x0)

type
prop

theory
HotG

name
OSNo_conj_OSNo

proof
PUdK2..

Megalodon
OSNo_conj_OSNo

proofgold address
TMMgu..^{OSNo_conj_OSNo}

creator
28513 PrQUS../27f46..

owner
28513 PrQUS../27f46..

term root
0bd24..