Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (crecs x0) (cwrecs con0 cep x0)

as obj
-

as prop
a8665..

theory
SetMM

stx
9e953..

address
TMWce..