Search for blocks/addresses/...

Proofgold Proposition

wceq cmat2pmat (cmpt2 (λ x0 x1 . cfn) (λ x0 x1 . cvv) (λ x0 x1 . cmpt (λ x2 . cfv (co (cv x0) (cv x1) cmat) cbs) (λ x2 . cmpt2 (λ x3 x4 . cv x0) (λ x3 x4 . cv x0) (λ x3 x4 . cfv (co (cv x3) (cv x4) (cv x2)) (cfv (cfv (cv x1) cpl1) cascl)))))
type
prop
theory
SetMM
name
df_mat2pmat
proof
PUaM6..
Megalodon
-
proofgold address
TMKkF..
creator
36385 PrCmT../7184c..
owner
36385 PrCmT../7184c..
term root
9ee63..