mathlib

975c8c32 - feat(data/list/lemmas): Range of `foldr` (#13328)

feat(data/list/lemmas): Range of `foldr` (#13328) Mathlib4 pair: https://github.com/leanprover-community/mathlib4/pull/1870 Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>