Search for blocks/addresses/...

Proofgold Proposition

wceq cminfty (cfv cpi cinftyexpi)
type
prop
theory
SetMM
name
df_bj_minfty
proof
PUUUJ..
Megalodon
-
proofgold address
TMTLi..
creator
36376 PrCmT../a55cb..
owner
36376 PrCmT../a55cb..
term root
a207c..