mathlib

a7faaf53 - docs(data/list/chain): add module docstring (#8041)