mathlib

3824a43e - docs(data/list/intervals): add module docstring (#7972)