Commit 2024-09-09 11:11 9c3e691c

View on Github →

chore: bump dependencies (#16625)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.length_modifyNth

deleted theorem List.length_modifyNthTail

Modified lake-manifest.json