Theorem List.mem_split

Modification history

2024-03-24 06:28
Mathlib/Data/List/Basic.lean
chore: make List.mem_split an alias of List.append_of_mem (#11060) …
Deleted List.mem_splitView on Github →
2022-09-23 02:45
Mathlib/Data/List/Basic.lean
feat: minimal port of Fintype (#429) …
Added List.mem_splitView on Github →
2021-10-14 09:04
Mathlib/Data/List/Basic.lean
chore: remove split tactic (#70) …
Deleted List.mem_splitView on Github →
2021-07-09 12:40
Mathlib/Data/List/Basic.lean
feat(Data/List/Basic): start porting from mathlib (#22) …
Added List.mem_splitView on Github →