Proofgold Term Root Disambiguation

Complex_i ∈ complex

as obj
-

as prop
61712..^complex_i

theory
HotG

stx
2ea7a..

address
TMHzi..^complex_i