Proofgold Term Root Disambiguation

add_nat u13 u4 = u17

as obj
-

as prop
b0aed..

theory
HotG

stx
49532..

address
TMW2M..