Proofgold Term Root Disambiguation

1 ∈ complex

as obj
-

as prop
614ef..^complex_1

theory
HotG

stx
2ea7a..

address
TMVL8..^complex_1