Proofgold Proposition

∀ x0 x1 : ι → ι → ο . wceq (cesum x0 x1) (cuni (co (co cxrs (co cc0 cpnf cicc) cress) (cmpt x0 x1) ctsu))

type
prop

theory
SetMM

name
df_esum

proof
PUcVW..

Megalodon
-

proofgold address
TMcm5..

creator
36383 PrCmT../9b982..

owner
36383 PrCmT../9b982..

term root
a4baa..