Repository navigation

Bump `mathlib` dependency to 94f4300 - #300

Closed

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

mainfrom

hopscotch/lkg-bump

Closed

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

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