Theorem Finset.sdiff_inter_self_left

Modification history