Lean-15: fragilites de Grothendieck -- trois lecons pour le depot (distill Serre-Connes) - #17970

Lean-15: fragilites de Grothendieck -- trois lecons pour le depot (distill Serre-Connes)#17970

myia-ai-01 merged 2 commits into

mainjsboige/CoursIA:mainfrom

feature/lean15-fragilites-grothendieckjsboige/CoursIA:feature/lean15-fragilites-grothendieckCopy head branch name to clipboard