Theorem List.mem_insertNth

Modification history

2024-03-21 05:04

Mathlib/Data/List/Basic.lean

chore: split insertNth lemmas from List.Basic (#11542) …

Modified List.mem_insertNth View on Github →

2023-01-05 14:40

Mathlib/Data/List/Basic.lean

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

Added List.mem_insertNth View on Github →