mathlib

bab7e996 - docs(data/part): add module docstring (#8966)