Proofgold Proposition

wceq cmdv (cmpt (λ x0 . cvv) (λ x0 . cdif (cxp (cfv (cv x0) cmvar) (cfv (cv x0) cmvar)) cid))

type
prop

theory
SetMM

name
df_mdv

proof
PUNz5..

Megalodon
-

proofgold address
TMZTi..

creator
36386 PrCmT../926ea..

owner
36386 PrCmT../926ea..

term root
de920..