Search for blocks/addresses/...

Proofgold Proposition

wceq climits (cdif (cin con0 (cfix cbigcup)) (csn c0))
type
prop
theory
SetMM
name
df_limits
proof
PUboD..
Megalodon
-
proofgold address
TMZXt..
creator
36378 PrCmT../f0eda..
owner
36378 PrCmT../f0eda..
term root
c9772..