Proofgold Term Root Disambiguation

mul_nat u6 u6 = u36

as obj
-

as prop
66577..

theory
HotG

stx
36e89..

address
TMNTu..