mathlib

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