Proofgold Proposition

wceq cplt (cmpt (λ x0 . cvv) (λ x0 . cdif (cfv (cv x0) cple) cid))

type
prop

theory
SetMM

name
df_plt

proof
PUe9S..

Megalodon
-

proofgold address
TMFES..

creator
36384 PrCmT../30720..

owner
36384 PrCmT../30720..

term root
90648..