Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cec x0 x1) (cima x1 (csn x0))

type
prop

theory
SetMM

name
df_ec

proof
PUQ2W..

Megalodon
-

proofgold address
TMWe4..

creator
36396 PrCmT../c3482..

owner
36396 PrCmT../c3482..

term root
6eb09..