Add [lemma_splitAt_shorten_left]
Add [lemma_splitAt_shorten_left]

If the first halves after splitting are the same, then smaller pieces
will also be the same

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar