Proofgold Term Root Disambiguation

mul_nat u6 u3 = u18

as obj
-

as prop
176e9..

theory
HotG

stx
36e89..

address
TMMAW..