Proofgold Term Root Disambiguation

wceq cvv (cab (λ x0 . wceq (cv x0) (cv x0)))

as obj
-

as prop
82c3c..

theory
SetMM

stx
575bc..

address
TMVa9..