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..