Proofgold Proposition

wceq cms (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wral (λ x2 . wne (co (cfv (cv x1) cmopn) (cv x2) cflim) c0) (λ x2 . cfv (cv x1) ccfil)) (λ x1 . cfv (cv x0) cme)))

type
prop

theory
SetMM

name
df_cmet

proof
PUa4n..

Megalodon
-

proofgold address
TMFto..

creator
36386 PrCmT../c3703..

owner
36386 PrCmT../c3703..

term root
e943c..