Theorem List.insertIdx_comm

Modification history

2024-12-02 04:16

Mathlib/Data/List/InsertIdx.lean

chore: bump toolchain to v4.15.0-rc1, and merge bump/v4.15.0 adaptations branch (#19675)

Deleted List.insertIdx_comm View on Github →

2024-10-21 03:20

Mathlib/Data/List/InsertIdx.lean

chore: rename List.modifyNth->modify and insertNth->insertIdx (#17985) …

Added List.insertIdx_comm View on Github →