Theorem List.head_eq_getElem_zero

Modification history

2024-09-08 23:21
Mathlib/Data/List/Basic.lean
chore(List/Basic): add `getElem` lemmas (#16082) …
Added List.head_eq_getElem_zeroView on Github →