Repository navigation

Update Mathlib - #37

Merged

RemyDegenne merged 4 commits into

mainfrom

Oct 21, 2025

Merged

Update Mathlib#37
RemyDegenne merged 4 commits into
mainfrom
work

Commits on Oct 10, 2025
- minor
  RemyDegenne
  committed
  9bee2b0
Commits on Oct 15, 2025
- add adapted step
  RemyDegenne
  committed
  15efdf2
Commits on Oct 21, 2025
- bump
  RemyDegenne
  committed
  e7499e3
- restore some proofs
  RemyDegenne
  committed
  97f9807