Proofgold Term Root Disambiguation

wceq cehl (cmpt (λ x0 . cn0) (λ x0 . cfv (co c1 (cv x0) cfz) crrx))

as obj
-

as prop
83f22..

theory
SetMM

stx
29ebb..

address
TMNwB..