Search for blocks/addresses/...

Proofgold Proposition

wceq ccart (cdif (cxp (cxp cvv cvv) cvv) (crn (csymdif (ctxp cvv cep) (ctxp (cpprod cep cep) cvv))))
type
prop
theory
SetMM
name
df_cart
proof
PUKaw..
Megalodon
-
proofgold address
TMNsR..
creator
36383 PrCmT../81530..
owner
36383 PrCmT../81530..
term root
e3127..