Theorem List.IsPrefix.idxOf_le

Modification history

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