Proofgold Term Root Disambiguation

csr

as obj
1d28e..

as prop
-

theory
SetMM

stx
ebbdd..