Proofgold Term Root Disambiguation

0 ∈ complex

as obj
-

as prop
78206..^complex_0

theory
HotG

stx
93147..

address
TMRzf..^complex_0