Search for blocks/addresses/...

Proofgold Proposition

wceq ccoa (cmpt (λ x0 . ccat) (λ x0 . cmpt2 (λ x1 x2 . cfv (cv x0) carw) (λ x1 x2 . crab (λ x3 . wceq (cfv (cv x3) ccoda) (cfv (cv x1) cdoma)) (λ x3 . cfv (cv x0) carw)) (λ x1 x2 . cotp (cfv (cv x2) cdoma) (cfv (cv x1) ccoda) (co (cfv (cv x1) c2nd) (cfv (cv x2) c2nd) (co (cop (cfv (cv x2) cdoma) (cfv (cv x1) cdoma)) (cfv (cv x1) ccoda) (cfv (cv x0) cco))))))
type
prop
theory
SetMM
name
df_coa
proof
PUdJh..
Megalodon
-
proofgold address
TMJex..
creator
36384 PrCmT../d2d77..
owner
36384 PrCmT../d2d77..
term root
23e5d..