Proofgold Proposition

∀ x0 . HSNo x0 ⟶ HSNo (conj_HSNo x0)

type
prop

theory
HotG

name
HSNo_conj_HSNo

proof
PUgzA..

Megalodon
HSNo_conj_HSNo

proofgold address
TMTXJ..^{HSNo_conj_HSNo}

creator
28464 PrQUS../77209..

owner
28464 PrQUS../77209..

term root
2747f..