Repository navigation

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

Commits on Oct 4, 2026
- feat(lean,#11703): annexe Flasque/Godement dans Lean-15c -- 8 modules noirs rendus visibles
  
  jsboige
  and
  claude
  committed
  163d499
- fix(lean,#11703): charger FlasqueQuotient/GodementFunctor/GodementMono au preambule -- 40/40 #check rendus
  
  jsboige
  and
  claude
  committed
  7d11d38