Proofgold Proposition

wceq cch (crab (λ x0 . wss (cima chli (co (cv x0) cn cmap)) (cv x0)) (λ x0 . csh))

type
prop

theory
SetMM

name
df_ch

proof
PUL5f..

Megalodon
-

proofgold address
TMWMw..

creator
36387 PrCmT../f7ad2..

owner
36387 PrCmT../f7ad2..

term root
6f617..