Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-18 20:48 f2f10cce

View on Github →

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

Estimated changes

Modified src/data/set/enumerate.lean

modified theorem set.enumerate_eq_none

modified theorem set.enumerate_eq_none_of_sel

modified theorem set.enumerate_inj

modified theorem set.enumerate_mem