Skip to content

Enrich(notebook,#17978): Lean-15d references Serre100, Langlands, Geo-02 + Sheydvasser - #19281

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/17978-grothendieck-visite
Oct 5, 2026
Merged

Enrich(notebook,#17978): Lean-15d references Serre100, Langlands, Geo-02 + Sheydvasser#19281
myia-ai-01 merged 1 commit into
mainfrom
feature/17978-grothendieck-visite

Enrich(notebook,#17978): Lean-15d references Serre100, Langlands, Geo…

d1ed282
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar