Proofgold Term Root Disambiguation

add_nat u5 u2 = u7

as obj
-

as prop
bd216..

theory
HotG

stx
3dc23..

address
TMbmv..