Proofgold Term Root Disambiguation

mul_nat u6 u4 = u24

as obj
-

as prop
4603a..

theory
HotG

stx
36e89..

address
TMUkf..