Proofgold Term Root Disambiguation

add_nat u9 u2 = u11

as obj
-

as prop
f731c..

theory
HotG

stx
cb48d..

address
TMG1Q..