Proofgold Term Root Disambiguation

wceq cfn (cab (λ x0 . wrex (λ x1 . wbr (cv x0) (cv x1) cen) (λ x1 . com)))

as obj
-

as prop
888ec..

theory
SetMM

stx
ebc38..

address
TMH31..