Proofgold Term Root Disambiguation

Sing 0 ⊆ 1

as obj
-

as prop
1806b..^Subq_Sing0_1

theory
HotG

stx
114a5..

address
TMZDF..^Subq_Sing0_1