Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.enumerate_eq_none_of_sel

Modification history

2021-06-18 20:48

src/data/set/enumerate.lean

docs(data/set/enumerate): add module and definition docstrings (#7967)

Modified set.enumerate_eq_none_of_sel View on Github →

2017-09-11 11:32

data/set/countable.lean

fix(data/set/countable): finish proof countable_sUnion

Modified set.enumerate_eq_none_of_sel View on Github →

2017-09-10 23:28

data/set/countable.lean

feat(data/set): add countable sets

Added set.enumerate_eq_none_of_sel View on Github →