Proofgold Term Root Disambiguation

wceq cfmla (cmpt (λ x0 . csuc com) (λ x0 . cdm (cfv (cv x0) (co c0 c0 csat))))

as obj
-

as prop
ec678..

theory
SetMM

stx
d034f..

address
TMWXs..