Theorem Finset.sdiff_singleton_eq_self

Modification history