Proofgold Term Root Disambiguation

wceq cpv (ccom c1st c1st)

as obj
-

as prop
6e082..

theory
SetMM

stx
d4238..

address
TMSpF..