Proofgold Term Root Disambiguation

CSNo_Im 0 = 0

as obj
-

as prop
cec93..^Im_0

theory
HotG

stx
5ed1a..

address
TMMcJ..^Im_0