Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.singleton_iff_unique_mem

Modification history

2020-05-15 21:05

src/data/finset.lean

chore(*): bump to lean-3.12.0 (#2681) …

Modified finset.singleton_iff_unique_mem View on Github →

2019-11-18 10:15

src/data/finset.lean

feat(data/finset): new union, set difference, singleton lemmas (#1702) …

Added finset.singleton_iff_unique_mem View on Github →