Commit 2024-05-14 03:32 6219398a

View on Github →

chore: bump dependencies (#12893)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.eraseIdx_eq_take_drop_succ

deleted theorem List.get_eq_iff

Modified Mathlib/Data/Rbtree/Init.lean

Modified lake-manifest.json