Skip to content

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

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/lean15-fragilites-grothendieck
Sep 26, 2026
Merged

Lean-15: fragilites de Grothendieck -- trois lecons pour le depot (distill Serre-Connes)#17970
myia-ai-01 merged 2 commits into
mainfrom
feature/lean15-fragilites-grothendieck

Merge branch 'main' into feature/lean15-fragilites-grothendieck

943bde5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar