Repository navigation

docs(13410): 12 output-anchored readings in Serre100-07-zeros-fonctions-l (density 467 -> 1261) - #16610

Merged

myia-ai-01 merged 1 commit into

mainfrom

feature/13410-density-serre100-07-zeros

Sep 18, 2026

Merged

docs(13410): 12 output-anchored readings in Serre100-07-zeros-fonctions-l (density 467 -> 1261)#16610
myia-ai-01 merged 1 commit into
mainfrom
feature/13410-density-serre100-07-zeros

Commits on Sep 17, 2026
- docs(13410): 12 output-anchored readings in Serre100-07-zeros-fonctions-l (density 467 -> 1261)
  
  jsboige
  and
  claude
  committed
  e6b5a13