Search for blocks/addresses/...

Proofgold Proposition

wceq crrbar (cun cr (cpr cminfty cpinfty))
type
prop
theory
SetMM
name
df_bj_rrbar
proof
PUUUJ..
Megalodon
-
proofgold address
TMWtY..
creator
36376 PrCmT../532fb..
owner
36376 PrCmT../532fb..
term root
7c1fb..