Proofgold Term Root Disambiguation

real ⊆ complex

as obj
-

as prop
303d3..^real_complex

theory
HotG

stx
2ea7a..

address
TMX8g..^real_complex