Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (crn x0) (cdm (ccnv x0))

as obj
-

as prop
b9439..

theory
SetMM

stx
7c847..

address
TMc5C..