Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . wceq (cimage x0) (cdif (cxp cvv cvv) (crn (csymdif (ctxp cvv cep) (ctxp (ccom cep (ccnv x0)) cvv))))
type
prop
theory
SetMM
name
df_image
proof
PUboD..
Megalodon
-
proofgold address
TMFop..
creator
36378 PrCmT../3259c..
owner
36378 PrCmT../3259c..
term root
669a9..