Repository navigation

docs(langlands,#18365): citations Borcherds — 6 ancres + README sources primaires (chaîne #18286) - #18370

Merged

myia-ai-01 merged 1 commit into

mainfrom

feature/18286-borcherds-langlands

Sep 29, 2026

Merged

docs(langlands,#18365): citations Borcherds — 6 ancres + README sources primaires (chaîne #18286)#18370
myia-ai-01 merged 1 commit into
mainfrom
feature/18286-borcherds-langlands

Commits on Sep 29, 2026
- docs(langlands,#18365): greffer les citations Borcherds -- 6 ancres + README sources primaires
  
  jsboige
  and
  claude
  committed
  d372e7b