Proofgold Term Root Disambiguation

cumgr

as obj
8f6b1..

as prop
-

theory
SetMM

stx
ebbdd..