Repository navigation

Add: Grothendieck Partie 84 - le faisceau de Godement C0, sections discontinues (#2159) - #17503

Merged

myia-ai-01 merged 4 commits into

mainfrom

feature/grothendieck-p84

Sep 23, 2026

Commits on Sep 23, 2026
- Add: Grothendieck Partie 84 - le faisceau de Godement C0, sections discontinues (#2159)
  
  jsboige
  and
  claude
  committed
  a7a1c18
- Fix: recomptage README Grothendieck a la tete — 82 leaf / 83 FR / 165 sources / 166 fichiers
  
  jsboige
  and
  claude
  committed
  89b1a9e
- Merge branch 'main' into feature/grothendieck-p84
  
  jsboige
  and
  claude
  committed
  eac633c
- Fix: compteurs residuels README Grothendieck (l.116 leaf 82->83, l.276 siblings 82->83)
  
  jsboige
  and
  claude
  committed
  ab10ca0