Proofgold Term Root Disambiguation

add_nat u5 u3 = u8

as obj
-

as prop
e705e..

theory
HotG

stx
3dc23..

address
TMTrp..