Proofgold Proposition

∀ x0 . CSNo x0 ⟶ CSNo (conj_CSNo x0)

type
prop

theory
HotG

name
CSNo_conj_CSNo

proof
PUQvq..

Megalodon
CSNo_conj_CSNo

proofgold address
TMJAR..^{CSNo_conj_CSNo}

creator
28444 PrQUS../bb139..

owner
28444 PrQUS../bb139..

term root
131b1..