mathlib

82f79a58 - feat(data/list|multiset|finset): lemmas about intervals in nat (#795)