Proofgold Proposition

wceq cdde (cmpt (λ x0 . cpw cr) (λ x0 . cif (wcel cc0 (cv x0)) c1 cc0))

type
prop

theory
SetMM

name
df_dde

proof
PURJe..

Megalodon
-

proofgold address
TMFVi..

creator
36388 PrCmT../39837..

owner
36388 PrCmT../39837..

term root
00cbb..