Proofgold Term Root Disambiguation

mul_nat u5 u4 = u20

as obj
-

as prop
c6b87..

theory
HotG

stx
62a5c..

address
TMdZM..