Proofgold Term Root Disambiguation

setsum 1 0 = 1

as obj
-

as prop
e8609..^setsum_1_0_1

theory
HotG

stx
114a5..

address
TMXom..^setsum_1_0_1