Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cdc x0 x1) (co (co (co c9 c1 caddc) x0 cmul) x1 caddc)

type
prop

theory
SetMM

name
df_dec

proof
PUSmC..

Megalodon
-

proofgold address
TMVmi..

creator
36397 PrCmT../486cc..

owner
36397 PrCmT../486cc..

term root
4cad1..