Repository navigation

Move files about Mathlib objects to a ForMathlib folder - #110

Merged

RemyDegenne merged 4 commits into

mainfrom

Jun 16, 2026

Commits on May 21, 2026
- move files about Mathlib objects to a ForMathlib folder
  RemyDegenne
  committed
  5f12965
Commits on Jun 16, 2026
- Merge remote-tracking branch 'origin/main' into cleanup
  RemyDegenne
  committed
  40ceab0
- lake exe mk_all
  RemyDegenne
  committed
  1124969
- fix
  RemyDegenne
  committed
  a67d8a1