Proofgold Term Root Disambiguation

wceq czrh (cmpt (λ x0 . cvv) (λ x0 . cuni (co zring (cv x0) crh)))

as obj
-

as prop
0290c..

theory
SetMM

stx
ea284..

address
TMc6r..