Search for blocks/addresses/...

Proofgold Proposition

wceq cidom (cin ccrg cdomn)
type
prop
theory
SetMM
name
df_idom
proof
PUN9o..
Megalodon
-
proofgold address
TMJzU..
creator
36376 PrCmT../a2f74..
owner
36376 PrCmT../a2f74..
term root
b3a24..