Proofgold Term Root Disambiguation

add_nat 1 1 = 2

as obj
-

as prop
26d71..^{add_nat_1_1_2}

theory
HF

stx
e311e..

address
TMN8m..^{add_nat_1_1_2}