Proofgold Term Root Disambiguation

wceq cldlf (ccref (cab (λ x0 . wbr (cv x0) com cdom)))

as obj
-

as prop
7326c..

theory
SetMM

stx
2758d..

address
TMWPH..