mathlib

66cc624c - feat(data/list/basic): more lemmas about permutations_aux2 (#8198)