Proofgold Term Root Disambiguation

mul_nat u6 u5 = u30

as obj
-

as prop
b6d70..

theory
HotG

stx
36e89..

address
TMMNU..