Proofgold Proposition

∀ x0 : ι → ο . wceq (cneg x0) (co cc0 x0 cmin)

type
prop

theory
SetMM

name
df_neg

proof
PUSmC..

Megalodon
-

proofgold address
TMVqb..

creator
36397 PrCmT../734a4..

owner
36397 PrCmT../734a4..

term root
c1dea..