Repository navigation

chore: bump mathlib to ba9c63d, fix breaking changes - #278

Open

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

mainfrom

bump-mathlib/fix-ba9c63d

Open

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

Commits on Oct 15, 2026
- chore: bump mathlib to ba9c63d: refactor(Data): make `Set` a one-field structure (#41506) (2026-10-13)
  github-actions[bot]
  committed
  92759d1