Proofgold Term Root Disambiguation

mul_nat u5 u5 = u25

as obj
-

as prop
c12f7..

theory
HotG

stx
0ee1b..

address
TMVU7..