Search for blocks/addresses/...

Proofgold Proposition

wceq ccnvrefs (cab (λ x0 . wbr (cin cid (cxp (cdm (cv x0)) (crn (cv x0)))) (cin (cv x0) (cxp (cdm (cv x0)) (crn (cv x0)))) (ccnv cssr)))
type
prop
theory
SetMM
name
df_cnvrefs
proof
PUZD6..
Megalodon
-
proofgold address
TMMzT..
creator
36376 PrCmT../9e9ff..
owner
36376 PrCmT../9e9ff..
term root
7f9b0..