Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (csymdif x0 x1) (cun (cdif x0 x1) (cdif x1 x0))

type
prop

theory
SetMM

name
df_symdif

proof
PUJyx..

Megalodon
-

proofgold address
TMYWQ..

creator
36396 PrCmT../dd196..

owner
36396 PrCmT../dd196..

term root
351d6..