Proofgold Term Root Disambiguation

ccpmat2mat

as obj
cace5..

as prop
-

theory
SetMM

stx
ebbdd..