Repository navigation

chore: bump mathlib to b2bf051, fix breaking changes - #269

Closed

github-actions[bot] wants to merge 1 commit into

mainfrom

bump-mathlib/fix-b2bf051

Closed

chore: bump mathlib to b2bf051, fix breaking changes#269
github-actions[bot] wants to merge 1 commit into
mainfrom
bump-mathlib/fix-b2bf051

Commits on Oct 4, 2026
- chore: bump mathlib to b2bf051: chore(MeasureTheory): generalize hypotheses to `NullMeasurableSet` (#42924) (2026-09-25)
  github-actions[bot]
  committed
  cc0756b