Commit 2024-11-13 10:39 56bbc093

View on Github →

chore: bump Mathlib for batteries#1029 (#18947) Adaptations for batteries#1029.

Estimated changes

Modified Mathlib/Control/Lawful.lean

deleted theorem ExceptT.run_mk

Modified Mathlib/Control/Monad/Cont.lean

Modified Mathlib/Control/ULiftable.lean

Modified MathlibTest/random.lean

Modified lake-manifest.json

Modified scripts/noshake.json