Proofgold Term Root Disambiguation

add_nat u5 u6 = u11

as obj
-

as prop
fe08b..

theory
HotG

stx
62a5c..

address
TMSiX..