Proofgold Term Root Disambiguation

add_nat u13 u6 = u19

as obj
-

as prop
2f205..

theory
HotG

stx
62a5c..

address
TMbK7..