Proofgold Term Root Disambiguation

setsum 1 1 = 2

as obj
-

as prop
ef3f4..^setsum_1_1_2

theory
HotG

stx
114a5..

address
TMSMi..^setsum_1_1_2