Commit 2024-05-05 19:07 7565dc2f
View on Github →chore(Data/List): remove some long-deprecated theorems (#12350)
All of these declarations have been deprecated since their files were ported (in January 2023).
Move nthLe from Init to List/Basic, next to the other lemmas using it.