Proofgold Term Root Disambiguation

add_nat u9 u8 = u17

as obj
-

as prop
442f5..

theory
HotG

stx
63930..

address
TMHcC..