mathlib

863f0075 - feat(data/list/basic): map_permutations (#8188)

feat(data/list/basic): map_permutations (#8188) As [requested on Zulip](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/perm.20of.20permutations/near/244821779).