Proofgold Term Root Disambiguation

wceq crsp (ccom clspn crglmod)

as obj
-

as prop
20762..

theory
SetMM

stx
64ad5..

address
TMM9j..