mathlib

3937c1b2 - docs(data/list/pairwise): add module docstring (#8025)