Proofgold Term Root Disambiguation

CSNo_Im Complex_i = 1

as obj
-

as prop
6d478..^Im_i

theory
HotG

stx
5ed1a..

address
TMYTs..^Im_i