Theorem Finset.sdiff_singleton_not_mem_eq_self

Modification history