Theorem Finset.sdiff_eq_self_iff_disjoint

Modification history