Proofgold Term Root Disambiguation

cmin

as obj
20abf..

as prop
-

theory
SetMM

stx
ebbdd..