Proofgold Proposition

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

type
prop

theory
SetMM

name
df_ub

proof
PUKaw..

Megalodon
-

proofgold address
TMM2K..

creator
36383 PrCmT../6401e..

owner
36383 PrCmT../6401e..

term root
b922a..