mathlib3

chore(data/list): move some sections to separate files

#2341

Merged