Proofgold Proposition

wceq cee (cmpt (λ x0 . cn) (λ x0 . co cr (co c1 (cv x0) cfz) cmap))

type
prop

theory
SetMM

name
df_ee

proof
PUbPn..

Megalodon
-

proofgold address
TMb5U..

creator
36387 PrCmT../e63cf..

owner
36387 PrCmT../e63cf..

term root
17d58..