Proofgold Proposition

wceq capply (ccom (ccom cbigcup cbigcup) (ccom (cdif (cxp cvv cvv) (crn (csymdif (ctxp cvv cep) (ctxp (cres cep csingles) cvv)))) (ccom (ccom csingle cimg) (cpprod cid csingle))))

type
prop

theory
SetMM

name
df_apply

proof
PUKaw..

Megalodon
-

proofgold address
TMYFf..

creator
36383 PrCmT../91375..

owner
36383 PrCmT../91375..

term root
85425..