Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (cpred x0 x1 x2) (cin x0 (cima (ccnv x1) (csn x2)))
type
prop
theory
SetMM
name
df_pred
proof
PUaCV..
Megalodon
-
proofgold address
TMPvF..
creator
36396 PrCmT../39047..
owner
36396 PrCmT../39047..
term root
c3246..