Proofgold Term Root Disambiguation

cmhp

as obj
aef49..

as prop
-

theory
SetMM

stx
ebbdd..