Theorem Finset.sdiff_inter_self

Modification history