Proofgold Term Root Disambiguation

mul_nat u6 u2 = u12

as obj
-

as prop
fbd5e..

theory
HotG

stx
36e89..

address
TMWUE..