Theorem List.nthLe_attach

Modification history

2024-04-24 08:44

Mathlib/Data/List/Basic.lean

chore(Data/List/Basic): remove some long-deprecated unused lemmas (#12367)

Deleted List.nthLe_attach View on Github →

2023-01-05 14:40

Mathlib/Data/List/Basic.lean

feat port: Data.List.Basic (#966) …

Added List.nthLe_attach View on Github →