Proofgold Term Root Disambiguation

wceq crpss (copab (λ x0 x1 . wpss (cv x0) (cv x1)))

as obj
-

as prop
d3533..

theory
SetMM

stx
3c2bc..

address
TMQs9..