Proofgold Term Root Disambiguation

0 ∈ complex

as obj
-

as prop
e71ee..^complex_0

theory
HotG

stx
2ea7a..

address
TMTNZ..^complex_0