Proofgold Proposition

∀ x0 . HSNo x0 ⟶ conj_OSNo x0 = conj_HSNo x0

type
prop

theory
HotG

name
conj_OSNo_conj_HSNo

proof
PUdK2..

Megalodon
conj_OSNo_conj_HSNo

proofgold address
TMUJZ..^{conj_OSNo_conj_HSNo}

creator
28513 PrQUS../d2646..

owner
28513 PrQUS../d2646..

term root
8cc42..