Proofgold Term Root Disambiguation

wceq cat (crab (λ x0 . wbr c0h (cv x0) ccv) (λ x0 . cch))

as obj
-

as prop
2227c..

theory
SetMM

stx
2af7b..

address
TMTfp..