Theorem List.IsPrefix.idxOf_eq_of_mem

Modification history

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