Proofgold Proposition

wceq cae (copab (λ x0 x1 . wceq (cfv (cdif (cuni (cdm (cv x1))) (cv x0)) (cv x1)) cc0))

type
prop

theory
SetMM

name
df_ae

proof
PURJe..

Megalodon
-

proofgold address
TMMde..

creator
36388 PrCmT../67020..

owner
36388 PrCmT../67020..

term root
ac0c6..