refactor: add List.finRange and Array.finRange

fgdorais commented 4 days ago

Harmonize with Mathlib, renaming Fin.list to List.finRange and Fin.enum to Array.finRange.

leanprover-community-bot commented 4 days ago

Mathlib CI status (docs):

💥 Mathlib branch batteries-pr-testing-1055 build failed against this PR. (2024-11-19 09:00:54) View Log
💥 Mathlib branch batteries-pr-testing-1055 build failed against this PR. (2024-11-19 10:07:41) View Log
💥 Mathlib branch batteries-pr-testing-1055 build failed against this PR. (2024-11-19 10:16:30) View Log
💥 Mathlib branch batteries-pr-testing-1055 build failed against this PR. (2024-11-19 10:47:56) View Log
💥 Mathlib branch batteries-pr-testing-1055 build failed against this PR. (2024-11-19 22:03:18) View Log

fgdorais commented 3 days ago

This is a second attempt at #899. The Mathlib breakages are too much for now. On hiatus.

leanprover-community / batteries