Proofgold Term Root Disambiguation

setsum 0 0 = 0

as obj
-

as prop
52346..^pair_0_0

theory
HF

stx
cbc45..

address
TMTtk..^pair_0_0