Theorem List.get_cons

Modification history

2025-03-04 03:24

Mathlib/Data/List/Basic.lean

chore: remove >6 month old deprecations (#22473)

Deleted List.get_cons View on Github →

2024-08-20 02:02

Mathlib/Data/List/Basic.lean

chore: remove `nthLe` (#15965) …

Added List.get_cons View on Github →