Proofgold Term Root Disambiguation

cpconn

as obj
e3618..

as prop
-

theory
SetMM

stx
ebbdd..