Theorem Finset.sdiff_inter_distrib_right

Modification history