Proofgold Term Root Disambiguation

wceq carchi (cab (λ x0 . wceq (cfv (cv x0) cinftm) c0))

as obj
-

as prop
3d202..

theory
SetMM

stx
2af7b..

address
TMKXL..