mathlib

1eebec51 - perf(data/fintype/basic): speed up mem_of_mem_perms_of_list (#12389)

perf(data/fintype/basic): speed up mem_of_mem_perms_of_list (#12389) This single theorem was taking twice as long as everything else in the file put together, and it was easy to fix.