Search for blocks/addresses/...

Proofgold Proposition

wceq cpnf (cpw (cuni cc))
type
prop
theory
SetMM
name
df_pnf
proof
PUd3U..
Megalodon
-
proofgold address
TMQ3n..
creator
36397 PrCmT../afc1a..
owner
36397 PrCmT../afc1a..
term root
8f21c..