Theorem List.idxOf_eq_zero_iff_head_eq

Modification history

2025-12-06 12:38
Mathlib/Data/List/Basic.lean
feat(Data/List/Basic): `idxOf` lemmas (#31930)
Added List.idxOf_eq_zero_iff_head_eqView on Github →