Repository navigation

chore: bump mathlib to 0867942, fix breaking changes - #77

Open

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

mainfrom

bump-mathlib/fix-0867942

Open

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

Commits on Nov 6, 2026
- chore: bump mathlib to 0867942: refactor: change the definition of `EventuallyEqSet` (#45712) (2026-11-06)
  github-actions[bot]
  committed
  9a7a92c