Search for blocks/addresses/...

Proofgold Proposition

wceq c9 (co c8 c1 caddc)
type
prop
theory
SetMM
name
df_9
proof
PUSmC..
Megalodon
-
proofgold address
TMGAU..
creator
36397 PrCmT../14ad7..
owner
36397 PrCmT../14ad7..
term root
eef7d..