Data.List.Sublists

Stream: mathlib4

[Chris Hughes]

I've finished for today, but I've got through the worst of this file. There are no red lines and we can delete lemmas about sublists_aux\_1 etc since they are no longer used to prove the properties of sublists and sublists'