mathlib

c51bb1af - feat(data/list/basic): fix name which wasn't changed