Search for blocks/addresses/...

Proofgold Proposition

wceq cicc (cmpt2 (λ x0 x1 . cxr) (λ x0 x1 . cxr) (λ x0 x1 . crab (λ x2 . wa (wbr (cv x0) (cv x2) cle) (wbr (cv x2) (cv x1) cle)) (λ x2 . cxr)))
type
prop
theory
SetMM
name
df_icc
proof
PUM7X..
Megalodon
-
proofgold address
TMdEL..
creator
36396 PrCmT../a0a52..
owner
36396 PrCmT../a0a52..
term root
3c75e..