Search for blocks/addresses/...

Proofgold Proposition

wceq cgic (cima (ccnv cgim) (cdif cvv c1o))
type
prop
theory
SetMM
name
df_gic
proof
PUJoj..
Megalodon
-
proofgold address
TMQ6a..
creator
36388 PrCmT../cfa20..
owner
36388 PrCmT../cfa20..
term root
dbfd2..