Search for blocks/addresses/...

Proofgold Proposition

wceq c6 (co c5 c1 caddc)
type
prop
theory
SetMM
name
df_6
proof
PUSmC..
Megalodon
-
proofgold address
TMTfq..
creator
36397 PrCmT../0f5fa..
owner
36397 PrCmT../0f5fa..
term root
985a3..