Proofgold Term Root Disambiguation

wceq cgoe (cmpt (λ x0 . cxp com com) (λ x0 . cop c0 (cv x0)))

as obj
-

as prop
0aae8..

theory
SetMM

stx
d034f..

address
TMMnD..