Proofgold Term Root Disambiguation

setsum 0 0 = 0

as obj
-

as prop
4f365..^setsum_0_0

theory
HotG

stx
114a5..

address
TMaVr..^setsum_0_0