Repository navigation

Bump `mathlib` dependency to 11b908e - #159

Closed

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

mainfrom

hopscotch/lkg-bump

Commits on Jun 26, 2026
- chore: bump mathlib to 11b908e: feat(Combinatorics/SimpleGraph/Girth): add lemma `Walk.IsCircuit.egirth_le_length` (#37578) (2026-06-25)
  github-actions[bot]
  committed
  ea6cf14