Proofgold Term Root Disambiguation

wceq cps1 (cmpt (λ x0 . cvv) (λ x0 . cfv c0 (co c1o (cv x0) copws)))

as obj
-

as prop
bf71e..

theory
SetMM

stx
4ed04..

address
TMdch..