Proofgold Proposition

wceq cmzp (cmpt (λ x0 . cvv) (λ x0 . cint (cfv (cv x0) cmzpcl)))

type
prop

theory
SetMM

name
df_mzp

proof
PUcDw..

Megalodon
-

proofgold address
TML6V..

creator
36384 PrCmT../c4319..

owner
36384 PrCmT../c4319..

term root
2134f..