Skip to content

feat(lean,#17978): Lean-15d -- visite guidee visuelle des abstractions grothendieckiennes - #18522

Merged
myia-ai-01 merged 4 commits into
mainfrom
feature/17978-grothendieck-visuel
Sep 30, 2026
Merged

feat(lean,#17978): Lean-15d -- visite guidee visuelle des abstractions grothendieckiennes#18522
myia-ai-01 merged 4 commits into
mainfrom
feature/17978-grothendieck-visuel

fix(lean,#18522): corriger l'erreur mathematique (0)/(p) + sept point…

dcda2ee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar