Def List.dropRight

Modification history

2023-11-17 05:53

Mathlib/Data/List/DropRight.lean

chore: bump to v4.3.0-rc2 (#8366) …

Deleted List.dropRight View on Github →

2023-11-07 10:14

Mathlib/Data/List/DropRight.lean

chore: rename List.rdrop to dropRight (#8233) …

Added List.dropRight View on Github →