Proofgold Term Root Disambiguation

add_nat u31 u15 = u46

as obj
-

as prop
e721a..

theory
HotG

stx
d4ed8..

address
TMbYW..