mathlib

c8d14294 - feat(data/{finset,multiset}/locally_finite): Simple interval lemmas (#9877)

feat(data/{finset,multiset}/locally_finite): Simple interval lemmas (#9877) `(finset/multiset).image_add_(left/right)_Ixx` and `multiset.nodup_Ixx` Co-authored-by: Eric Wieser <wieser.eric@gmail.com>