Proofgold Term Root Disambiguation

add_nat u5 u1 = u6

as obj
-

as prop
561b1..

theory
HotG

stx
3dc23..

address
TMMSk..