Proofgold Term Root Disambiguation

wceq cgna (cmpt (λ x0 . cxp cvv cvv) (λ x0 . cop c1o (cv x0)))

as obj
-

as prop
f2b4f..

theory
SetMM

stx
d034f..

address
TMb9K..