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