Proofgold Term Root Disambiguation

add_nat u3 u3 = u6

as obj
-

as prop
008c0..

theory
HotG

stx
49532..

address
TMUrj..