Proofgold Proposition

wceq cnl (cmpt (λ x0 . co cc chil cmap) (λ x0 . cima (ccnv (cv x0)) (csn cc0)))

type
prop

theory
SetMM

name
df_nlfn

proof
PUUBK..

Megalodon
-

proofgold address
TMQjC..

creator
36383 PrCmT../8636a..

owner
36383 PrCmT../8636a..

term root
5d84d..