Batteries.Data.List.Init.Lemmas