Proofgold Term Root Disambiguation

wceq cge_real (ccnv cle)

as obj
-

as prop
a5655..

theory
SetMM

stx
3e5e5..

address
TMGzv..