Proofgold Term Root Disambiguation

0 ⊆ 1

as obj
-

as prop
f75cd..^Subq_0_1

theory
HotG

stx
d0fc7..

address
TMbAb..^Subq_0_1