Proofgold Term Root Disambiguation

cmrsub

as obj
d2170..

as prop
-

theory
SetMM

stx
ebbdd..