Proofgold Term Root Disambiguation

coch

as obj
e9d74..

as prop
-

theory
SetMM

stx
ebbdd..