Proofgold Term Root Disambiguation

wceq chf (cuni (cima cr1 com))

as obj
-

as prop
32a2e..

theory
SetMM

stx
cb8e1..

address
TMTri..