Proofgold Term Root Disambiguation

wceq crp (crab (λ x0 . wbr cc0 (cv x0) clt) (λ x0 . cr))

as obj
-

as prop
64d80..

theory
SetMM

stx
33c8c..

address
TMHZd..