Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . wceq (cec x0 x1) (cima x1 (csn x0))

as obj
-

as prop
9ade5..

theory
SetMM

stx
ebc38..

address
TMW6B..