Proofgold Term Root Disambiguation

wceq cplt (cmpt (λ x0 . cvv) (λ x0 . cdif (cfv (cv x0) cple) cid))

as obj
-

as prop
f495a..

theory
SetMM

stx
722af..

address
TMPtk..