Proofgold Term Root Disambiguation

Complex_i ∈ complex

as obj
-

as prop
8134e..^complex_i

theory
HotG

stx
93147..

address
TMYcK..^complex_i