Proofgold Term Root Disambiguation

add_nat u9 u3 = u12

as obj
-

as prop
79b65..

theory
HotG

stx
cb48d..

address
TMUDF..