Proofgold Proposition

wceq ccic (cmpt (λ x0 . ccat) (λ x0 . co (cfv (cv x0) ciso) c0 csupp))

type
prop

theory
SetMM

name
df_cic

proof
PULi1..

Megalodon
-

proofgold address
TMK8e..

creator
36376 PrCmT../1a04f..

owner
36376 PrCmT../1a04f..

term root
a0174..