mathlib3

6cd6ff44 - split(data/list/permutation): split off `data.list.basic` (#9749)

split(data/list/permutation): split off `data.list.basic` (#9749) This moves all the `list.permutations` definitions and lemmas not involving `list.perm` to a new file.