Proofgold Term Root Disambiguation

mul_SNo u2 u12 = u24

as obj
-

as prop
d70cc..

theory
HotG

stx
62a5c..

address
TMU9M..