Theorem Finset.sdiff_sdiff_eq_sdiff_union

Modification history