Proofgold Proposition

wceq ciedg (cmpt (λ x0 . cvv) (λ x0 . cif (wcel (cv x0) (cxp cvv cvv)) (cfv (cv x0) c2nd) (cfv (cv x0) cedgf)))

type
prop

theory
SetMM

name
df_iedg

proof
PUbPn..

Megalodon
-

proofgold address
TMbmw..

creator
36387 PrCmT../04ce9..

owner
36387 PrCmT../04ce9..

term root
f5d7f..