Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (cub x0) (cdif (cxp cvv cvv) (ccom (cdif cvv x0) (ccnv cep)))

as obj
-

as prop
1b37e..

theory
SetMM

stx
29eaf..

address
TMYDi..