mathlib3

feat(data/list|multiset|finset): lemmas about intervals in nat

#795

Merged