Proofgold Term Root Disambiguation

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

as obj
-

as prop
a8772..^{conj_CSNo_CRe}

theory
HotG

stx
5ed1a..

address
TMdNJ..^{conj_CSNo_CRe}