Proofgold Term Root Disambiguation

wceq chj (cmpt2 (λ x0 x1 . cpw chil) (λ x0 x1 . cpw chil) (λ x0 x1 . cfv (cfv (cun (cv x0) (cv x1)) cort) cort))

as obj
-

as prop
2762b..

theory
SetMM

stx
337cc..

address
TMZgx..