Proofgold Term Root Disambiguation

add_nat u51 u63 ⊆ exp_nat u2 u7

as obj
-

as prop
9db25..

theory
HotG

stx
d906f..

address
TMP8n..