Proofgold Proposition

∀ x0 . CSNo x0 ⟶ CSNo_Re (conj_CSNo x0) = CSNo_Re x0

type
prop

theory
HotG

name
conj_CSNo_CRe

proof
PUQvq..

Megalodon
conj_CSNo_CRe

proofgold address
TMVEf..^{conj_CSNo_CRe}

creator
28444 PrQUS../bd787..

owner
28444 PrQUS../bd787..

term root
c50c4..