Proofgold Term Root Disambiguation

OSNo_proj1 Complex_i = 0

as obj
-

as prop
0ea4e..^OSNo_p1_i

theory
HotG

stx
5c6b2..

address
TMYKq..^OSNo_p1_i