Proofgold Term Root Disambiguation

1 ∈ complex

as obj
-

as prop
e4db6..^complex_1

theory
HotG

stx
93147..

address
TMXGT..^complex_1