Proofgold Proposition

wceq cim (cmpt (λ x0 . cc) (λ x0 . cfv (co (cv x0) ci cdiv) cre))

type
prop

theory
SetMM

name
df_im

proof
PUWCs..

Megalodon
-

proofgold address
TMYms..

creator
36397 PrCmT../78659..

owner
36397 PrCmT../78659..

term root
22981..