Theorem Finset.sdiff_union_self_eq_union

Modification history