Proofgold Term Root Disambiguation

HSNo_proj0 Complex_i = Complex_i

as obj
-

as prop
50a22..^HSNo_p0_i

theory
HotG

stx
43801..

address
TMG8J..^HSNo_p0_i