Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.eq_singleton_iff_unique_mem

Modification history

2019-11-18 10:15
src/data/finset.lean
feat(data/finset): new union, set difference, singleton lemmas (#1702) …
Added finset.eq_singleton_iff_unique_memView on Github →