Commit 2025-10-26 19:22 a15689ba

View on Github →

chore(Data/List/SplitBy): golf theorems (#30896)

Estimated changes

modified theorem List.ne_nil_of_mem_splitBy