Proofgold Term Root Disambiguation

add_nat u12 u5 = u17

as obj
-

as prop
8dd35..

theory
HotG

stx
49532..

address
TMF8c..