Proofgold Proposition

wceq cwwlksn (cmpt2 (λ x0 x1 . cn0) (λ x0 x1 . cvv) (λ x0 x1 . crab (λ x2 . wceq (cfv (cv x2) chash) (co (cv x0) c1 caddc)) (λ x2 . cfv (cv x1) cwwlks)))

type
prop

theory
SetMM

name
df_wwlksn

proof
PUT3K..

Megalodon
-

proofgold address
TMPGu..

creator
36378 PrCmT../6b819..

owner
36378 PrCmT../6b819..

term root
700e7..