Def List.splitAtD

Modification history

2022-09-12 10:41

Mathlib/Data/List/Defs.lean

chore: bump to 2022-09-11 (#406)

Deleted List.splitAtD View on Github →

2022-02-07 12:43

Mathlib/Data/List/Defs.lean

feat: cases' and induction' tactics (#183) …

Added List.splitAtD View on Github →