Theorem List.length_dropSlice

Modification history

2024-07-25 07:50
Mathlib/Data/List/Basic.lean
chore: deprecate `sizeOf_dropSlice_lt` (#15118) …
Added List.length_dropSliceView on Github →