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

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

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/17978-grothendieck-visitejsboige/CoursIA:feature/17978-grothendieck-visiteCopy head branch name to clipboard