mathlib3

0511189a - fix(data/list/defs): remove chunking hack