Proofgold Term Root Disambiguation

mul_SNo 2 2 = 4

as obj
-

as prop
ecc46..

theory
HotG

stx
e6502..

address
TMYxP..