Proofgold Proposition

wceq cwwspthsn (cmpt2 (λ x0 x1 . cn0) (λ x0 x1 . cvv) (λ x0 x1 . crab (λ x2 . wex (λ x3 . wbr (cv x3) (cv x2) (cfv (cv x1) cspths))) (λ x2 . co (cv x0) (cv x1) cwwlksn)))

type
prop

theory
SetMM

name
df_wspthsn

proof
PUT3K..

Megalodon
-

proofgold address
TMbip..

creator
36378 PrCmT../51efc..

owner
36378 PrCmT../51efc..

term root
c492b..