Proofgold Term Root Disambiguation

real ⊆ complex

as obj
-

as prop
080bd..^real_complex

theory
HotG

stx
93147..

address
TMMP8..^real_complex