mathlib3

93d7812a - docs(data/int/range): add module docstring (#7971)