mathlib

f477e03a - docs(data/list/erasedup): add module docstring (#8030)