Skip to content

feat(lean): grothendieck Partie 64 — invariance de la condition de faisceau egaliseur - #14053

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/2159-p64
Sep 1, 2026
Merged

feat(lean): grothendieck Partie 64 — invariance de la condition de faisceau egaliseur#14053
myia-ai-01 merged 1 commit into
mainfrom
feature/2159-p64

feat(lean): grothendieck Partie 64 — invariance de la condition de fa…

cbabb11
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar