mathlib3

chore(data/list/basic): drop `append_foldl` and `append_foldr`, add `map_nil` and `prod_singleton`

#2057

Merged