Proofgold Proposition

wceq cchr (cmpt (λ x0 . cvv) (λ x0 . cfv (cfv (cv x0) cur) (cfv (cv x0) cod)))

type
prop

theory
SetMM

name
df_chr

proof
PUMpC..

Megalodon
-

proofgold address
TMXpo..

creator
36377 PrCmT../bc53d..

owner
36377 PrCmT../bc53d..

term root
7ad23..