Theorem List.get_mapIdx

Modification history

2025-08-12 06:50

Mathlib/Data/List/Indexes.lean

chore: remove >6 month old deprecations (#28212)

Deleted List.get_mapIdx View on Github →

2024-08-20 02:02

Mathlib/Data/List/Indexes.lean

chore: remove `nthLe` (#15965) …

Added List.get_mapIdx View on Github →