Proofgold Proposition

wceq ccht (cmpt (λ x0 . cr) (λ x0 . csu (cin (co cc0 (cv x0) cicc) cprime) (λ x1 . cfv (cv x1) clog)))

type
prop

theory
SetMM

name
df_cht

proof
PUMn8..

Megalodon
-

proofgold address
TMTh5..

creator
36377 PrCmT../e39fa..

owner
36377 PrCmT../e39fa..

term root
50d30..