Skip to content

feat(lean,#11703): annexe résolution canonique de Godement — 4 derniers modules noirs - #19439

Merged
myia-ai-01 merged 3 commits into
mainfrom
feature/11703-godement-resolution-annexe
Oct 9, 2026
Merged

feat(lean,#11703): annexe résolution canonique de Godement — 4 derniers modules noirs#19439
myia-ai-01 merged 3 commits into
mainfrom
feature/11703-godement-resolution-annexe

fix(lean,#19439): enonce faux cellule 45 -- la chaine d'unites n'est …

e8d1d89
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar