Theorem List.mapIdx_eq_nil

Modification history

2024-11-04 05:59

Mathlib/Data/List/Indexes.lean

chore: bump toolchain to v4.14.0-rc1 (#18597) …

Deleted List.mapIdx_eq_nil View on Github →

2024-06-08 10:13

Mathlib/Data/List/Indexes.lean

chore(Data/List): cleanup redundant type arguments (#13605)

Modified List.mapIdx_eq_nil View on Github →

2023-11-23 03:28

Mathlib/Data/List/Indexes.lean

feat: add List.enum_eq_nil and List.mapIdx_eq_nil (#8493) …

Added List.mapIdx_eq_nil View on Github →