Search for blocks/addresses/...

Proofgold Proposition

wceq cpinfty (cfv cc0 cinftyexpi)
type
prop
theory
SetMM
name
df_bj_pinfty
proof
PUUUJ..
Megalodon
-
proofgold address
TMUd5..
creator
36376 PrCmT../cf445..
owner
36376 PrCmT../cf445..
term root
ba7e0..