Proofgold Term Root Disambiguation

add_nat u6 u12 = u18

as obj
-

as prop
a2682..

theory
HotG

stx
36e89..

address
TMVfy..