Proofgold Term Root Disambiguation

add_nat u9 u1 = u10

as obj
-

as prop
6b0ad..

theory
HotG

stx
cb48d..

address
TMTsk..