Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cdp2 x0 x1) (co x0 (co x1 (cdc c1 cc0) cdiv) caddc)

type
prop

theory
SetMM

name
df_dp2

proof
PUeuA..

Megalodon
-

proofgold address
TMbCs..

creator
36386 PrCmT../708de..

owner
36386 PrCmT../708de..

term root
0034e..