mathlib

1f0d878c - feat(data/list): standardize list prefixes and suffixes (#10052)