Theorem List.IsSuffix.idxOf_add_length_le

Modification history

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