Proofgold Term Root Disambiguation

add_nat 1 1 = 2

as obj
-

as prop
77f23..^{add_nat_1_1_2}

theory
HotG

stx
d0fc7..

address
TMaJc..^{add_nat_1_1_2}