Proofgold Term Root Disambiguation

conj_CSNo 0 = 0

as obj
-

as prop
ee56e..^conj_CSNo_0

theory
HotG

stx
5ed1a..

address
TMLUj..^conj_CSNo_0