mathlib

cb7b6cb3 - docs(data/list/rotate): add module docstring (#8027)