Proofgold Term Root Disambiguation

0 ⊆ 0

as obj
-

as prop
6e655..^Subq_0_0

theory
HotG

stx
d0fc7..

address
TMLX5..^Subq_0_0