Proofgold Term Root Disambiguation

1 ⊆ 1

as obj
-

as prop
786cb..^Subq_1_1

theory
HotG

stx
d0fc7..

address
TMVoM..^Subq_1_1