Proofgold Proposition

wceq cclwwlkn (cmpt2 (λ x0 x1 . cn0) (λ 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_clwwlkn

proof
PUT3K..

Megalodon
-

proofgold address
TMJjH..

creator
36378 PrCmT../cf579..

owner
36378 PrCmT../cf579..

term root
e3fe3..