Proofgold Term Root Disambiguation

add_nat u6 u18 = u24

as obj
-

as prop
67f29..

theory
HotG

stx
36e89..

address
TMVLy..