Proofgold Proposition

wceq cevl (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cfv (cfv (cv x1) cbs) (co (cv x0) (cv x1) ces)))

type
prop

theory
SetMM

name
df_evl

proof
PUVCn..

Megalodon
-

proofgold address
TMZHX..

creator
36385 PrCmT../ce4a4..

owner
36385 PrCmT../ce4a4..

term root
75f88..