Repository navigation

Bump `mathlib` dependency to b5d557f - #196

Merged

RemyDegenne merged 1 commit into

mainfrom

hopscotch/lkg-bump

Jul 23, 2026

Merged

Bump `mathlib` dependency to b5d557f#196
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Jul 23, 2026
- chore: bump mathlib to b5d557f: refactor(LinearAlgebra): semilinearize `Submodule.Quotient.equiv` (#42001) (2026-07-23)
  github-actions[bot]
  committed
  53511ea