Theorem Finset.disjoint_sdiff_inter

Modification history