Commit 2024-08-17 03:44 f2a46e0f

View on Github →

chore: bump dependencies (#15908)

Estimated changes

Modified Mathlib/Combinatorics/Enumerative/Composition.lean

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.splitAt_eq_take_drop

Modified lake-manifest.json