Proofgold Term Root Disambiguation

add_nat u19 u6 = u25

as obj
-

as prop
37308..

theory
HotG

stx
d906f..

address
TMJz3..