Search for blocks/addresses/...

Proofgold Proposition

wceq cerq (cin ceq (cxp (cxp cnpi cnpi) cnq))
type
prop
theory
SetMM
name
df_erq
proof
PUc2k..
Megalodon
-
proofgold address
TMZVY..
creator
36396 PrCmT../1a350..
owner
36396 PrCmT../1a350..
term root
0cb26..