Theorem List.removeNth_eq_nthTail

Modification history

2024-05-06 07:35

Mathlib/Data/List/Basic.lean

chore: migrate from `List.removeNth` to `List.eraseIdx` (#12660)

Deleted List.removeNth_eq_nthTail View on Github →

2023-01-05 14:40

Mathlib/Data/List/Basic.lean

feat port: Data.List.Basic (#966) …

Added List.removeNth_eq_nthTail View on Github →