mathlib

26f081a2 - feat(data/list/infix): `list.slice` is a sublist of the original (#18067)