Proofgold Term Root Disambiguation

CSNo_Im 0 = 0

as obj
-

as prop
c1154..^Im_0

theory
HotG

stx
7edd8..

address
TMQ5s..^Im_0