Repository navigation

Bump `mathlib` dependency to 94f4300 - #75

Open

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

mainfrom

hopscotch/lkg-bump

Open

Bump `mathlib` dependency to 94f4300#75
github-actions[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Nov 6, 2026
- chore: bump mathlib to 94f4300: chore(SimpleGraph/Coloring/Constructions): some golfs (#42665) (2026-11-06)
  github-actions[bot]
  committed
  674fdac