Search for blocks/addresses/...

Proofgold Proposition

wceq cmvsb (cmpt (λ x0 . cvv) (λ x0 . coprab (λ x1 x2 x3 . w3a (wa (wcel (cv x1) (crn (cfv (cv x0) cmsub))) (wcel (cv x2) (cfv (cv x0) cmvl))) (wral (λ x4 . wbr (cv x2) (cfv (cfv (cv x4) (cfv (cv x0) cmvh)) (cv x1)) (cdm (cfv (cv x0) cmevl))) (λ x4 . cfv (cv x0) cmvar)) (wceq (cv x3) (cmpt (λ x4 . cfv (cv x0) cmvar) (λ x4 . co (cv x2) (cfv (cfv (cv x4) (cfv (cv x0) cmvh)) (cv x1)) (cfv (cv x0) cmevl)))))))
type
prop
theory
SetMM
name
df_mvsb
proof
PUekN..
Megalodon
-
proofgold address
TMRcS..
creator
36385 PrCmT../af8ff..
owner
36385 PrCmT../af8ff..
term root
f887b..