Proofgold Proposition

wceq cclwwlknold (cmpt2 (λ x0 x1 . cn) (λ x0 x1 . cvv) (λ x0 x1 . crab (λ x2 . wceq (cfv (cv x2) chash) (cv x0)) (λ x2 . cfv (cv x1) cclwwlk)))

type
prop

theory
SetMM

name
df_clwwlknOLD

proof
PUT3K..

Megalodon
-

proofgold address
TMaW6..

creator
36378 PrCmT../8c21c..

owner
36378 PrCmT../8c21c..

term root
2013c..