Search for blocks/addresses/...

Proofgold Proposition

wceq ccfil (cmpt (λ x0 . cuni (crn cxmt)) (λ x0 . crab (λ x1 . wral (λ x2 . wrex (λ x3 . wss (cima (cv x0) (cxp (cv x3) (cv x3))) (co cc0 (cv x2) cico)) (λ x3 . cv x1)) (λ x2 . crp)) (λ x1 . cfv (cdm (cdm (cv x0))) cfil)))
type
prop
theory
SetMM
name
df_cfil
proof
PUa4n..
Megalodon
-
proofgold address
TMWyX..
creator
36386 PrCmT../c4ac1..
owner
36386 PrCmT../c4ac1..
term root
cc0ae..