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.