Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . wceq (cima x0 x1) (crn (cres x0 x1))

as obj
-

as prop
d95d7..

theory
SetMM

stx
7c847..

address
TMPMn..