Proofgold Term Root Disambiguation

wceq cfin3 (cab (λ x0 . wcel (cpw (cv x0)) cfin4))

as obj
-

as prop
a9a7d..

theory
SetMM

stx
abdec..

address
TMTGL..