Proofgold Proposition

wceq cevpm (cmpt (λ x0 . cvv) (λ x0 . cima (ccnv (cfv (cv x0) cpsgn)) (csn c1)))

type
prop

theory
SetMM

name
df_evpm

proof
PUJoj..

Megalodon
-

proofgold address
TMQGp..

creator
36388 PrCmT../de2a7..

owner
36388 PrCmT../de2a7..

term root
ecab2..