Theorem List.getElem_cons

Modification history

2025-01-05 03:32

Mathlib/Data/List/Basic.lean

chore: bump toolchain to v4.16.0-rc1, and merge bump/v4.16.0 (#20464)

Deleted List.getElem_cons View on Github →

2024-09-08 23:21

Mathlib/Data/List/Basic.lean

chore(List/Basic): add `getElem` lemmas (#16082) …

Added List.getElem_cons View on Github →