Search for blocks/addresses/...

Proofgold Proposition

wceq cfuns (cdif (cpw (cxp cvv cvv)) (cfix (ccom cep (ccom (ctxp c1st (ccom (cdif cvv cid) c2nd)) (ccnv cep)))))
type
prop
theory
SetMM
name
df_funs
proof
PUboD..
Megalodon
-
proofgold address
TMUsQ..
creator
36378 PrCmT../d5467..
owner
36378 PrCmT../d5467..
term root
57dbc..