mathlib

cf4a2df2 - docs(data/list/range): add module docstring (#8026)