Proofgold Term Root Disambiguation

wceq crrv (cmpt (λ x0 . cprb) (λ x0 . co (cdm (cv x0)) cbrsiga cmbfm))

as obj
-

as prop
93d62..

theory
SetMM

stx
2e131..

address
TMHn9..