Theorem List.ne_nil_of_mem_splitBy

Modification history

2025-10-26 19:22
Mathlib/Data/List/SplitBy.lean
chore(Data/List/SplitBy): golf theorems (#30896)
Modified List.ne_nil_of_mem_splitByView on Github →
2024-11-04 05:59
Mathlib/Data/List/SplitBy.lean
chore: bump toolchain to v4.14.0-rc1 (#18597) …
Added List.ne_nil_of_mem_splitByView on Github →