Skip to content

feat(lean,#11703): annexe Flasque/Godement dans Lean-15c — 8 modules noirs rendus visibles (16/83 -> 8/83) - #19083

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/11703-flasque-godement
Oct 4, 2026
Merged

feat(lean,#11703): annexe Flasque/Godement dans Lean-15c — 8 modules noirs rendus visibles (16/83 -> 8/83)#19083
myia-ai-01 merged 2 commits into
mainfrom
feature/11703-flasque-godement

fix(lean,#11703): charger FlasqueQuotient/GodementFunctor/GodementMon…

7d11d38
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar