Proofgold Term Root Disambiguation

cinvc

as obj
e3aeb..

as prop
-

theory
SetMM

stx
ebbdd..