ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P2858 on
R2220: Binary set intersection is commutative
P2858
This result is a particular case of
R4216: Finite set intersection is invariant under bijective shifting of indices
. $\square$