ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P2837 on
R4173: Difference of set and binary union equals intersection of differences
P2837
This result is a particular case of
R4172: Difference of set and finite union equals intersection of differences
. $\square$