Search for blocks/addresses/...

Proofgold Proposition

wceq celwise (cmpt (λ x0 . cvv) (λ x0 . cmpt2 (λ x1 x2 . cvv) (λ x1 x2 . cvv) (λ x1 x2 . cab (λ x3 . wrex (λ x4 . wrex (λ x5 . wceq (cv x3) (co (cv x4) (cv x5) (cv x0))) (λ x5 . cv x2)) (λ x4 . cv x1)))))
type
prop
theory
SetMM
name
df_elwise
proof
PUMPg..
Megalodon
-
proofgold address
TMNBX..
creator
36399 PrCmT../9400f..
owner
36399 PrCmT../9400f..
term root
70d3f..