Search for blocks/addresses/...

Proofgold Proposition

wceq cii (cfv (cres (ccom cabs cmin) (cxp (co cc0 c1 cicc) (co cc0 c1 cicc))) cmopn)
type
prop
theory
SetMM
name
df_ii
proof
PUQGM..
Megalodon
-
proofgold address
TMKpm..
creator
36385 PrCmT../55350..
owner
36385 PrCmT../55350..
term root
8851f..