Repository navigation

Feat(Serre100,#22488): carnet 28 — inversion de Möbius et phi d'Euler - #22492

Open

jsboige wants to merge 7 commits into

mainfrom

feature/serre100-28-mobius

Open

Feat(Serre100,#22488): carnet 28 — inversion de Möbius et phi d'Euler#22492
jsboige wants to merge 7 commits into
mainfrom
feature/serre100-28-mobius

Commits on Oct 25, 2026
- Feat(Serre100,#22488): carnet 28 — inversion de Möbius et phi d'Euler
  
  jsboige
  and
  claude
  committed
  df73146
- Fix(serre100,#22492): noms Mathlib et chapitre de Serre exacts dans « Ressources »
  
  jsboige
  and
  claude
  committed
  2afcfb0
- Fix(Serre100,#22492): nom Lean de l'intro c00 -- ArithmeticFunction.moebius
  
  jsboige
  and
  claude
  committed
  3924888
Commits on Oct 26, 2026
- Merge origin/main — réparation conflit README Serre100 (PR #22492) : garde lignes 20 + 28 en ordre numérique
  
  jsboige
  and
  claude
  committed
  bddd186
- Merge origin/main into feature/serre100-28-mobius (conflit README Serre100 resolu en union, ordre numerique 21/22/28)
  
  jsboige
  and
  claude
  committed
  0872613
Commits on Oct 27, 2026
- Merge remote-tracking branch 'origin/main' into feature/serre100-28-mobius
  jsboige
  committed
  890684c
Commits on Oct 28, 2026
- Merge(main): Serre100 README -- les deux lignes de carnet ajoutees cote a cote
  
  jsboige
  and
  claude
  committed
  605c66d