Proofgold Term Root Disambiguation

exp_nat 2 4 = 16

as obj
-

as prop
db1de..

theory
HotG

stx
7d20c..

address
TMa8J..