Proofgold Term Root Disambiguation

wceq cssr (copab (λ x0 x1 . wss (cv x0) (cv x1)))

as obj
-

as prop
50860..

theory
SetMM

stx
5d0e3..

address
TMHkA..