Proofgold Term Root Disambiguation

add_nat u3 u1 = u4

as obj
-

as prop
480b2..

theory
HotG

stx
3dc23..

address
TMU1L..