Proofgold Term Root Disambiguation

cpell1234qr

as obj
6bb47..

as prop
-

theory
SetMM

stx
ebbdd..