ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3934 on D76: Set intersection

Set intersection distributes over set difference