Proofgold Proposition

wceq cmex (cmpt (λ x0 . cvv) (λ x0 . cxp (cfv (cv x0) cmtc) (cfv (cv x0) cmrex)))

type
prop

theory
SetMM

name
df_mex

proof
PUNz5..

Megalodon
-

proofgold address
TMZPf..

creator
36386 PrCmT../8c935..

owner
36386 PrCmT../8c935..

term root
24644..