Proofgold Term Root Disambiguation

wceq c1p (cab (λ x0 . wbr (cv x0) c1q cltq))

as obj
-

as prop
436d8..

theory
SetMM

stx
338b7..

address
TMcQM..