Search for blocks/addresses/...

Proofgold Proposition

wceq cfa (cun (csn (cop cc0 c1)) (cseq cmul cid c1))
type
prop
theory
SetMM
name
df_fac
proof
PUM7X..
Megalodon
-
proofgold address
TMZUY..
creator
36396 PrCmT../94c4b..
owner
36396 PrCmT../94c4b..
term root
7e878..