Theorem List.prev_get

Modification history

2025-02-21 10:58

Mathlib/Data/List/Cycle.lean

chore: backport changes to `getElem` lemmas (#22146) …

Deleted List.prev_get View on Github →

2024-08-20 02:02

Mathlib/Data/List/Cycle.lean

chore: remove `nthLe` (#15965) …

Added List.prev_get View on Github →