feat(data/last/basic): a lemma specifying list.split_on (#9104)
feat(data/last/basic): a lemma specifying list.split_on (#9104)




Co-authored-by: Scott Morrison <63f04b4d96235eb042cc46d94f14d241d2a26722@anu.edu.au>
Co-authored-by: Simon Hudon <d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com>
Co-authored-by: Scott Morrison <63f04b4d96235eb042cc46d94f14d241d2a26722@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib