Repository navigation

feat(lean,#17481): miroirs _en des 4 modules EffectiveTheory (i18n #4980) - #17764

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/17481-i18n-en-effective-theory

Sep 25, 2026

Commits on Sep 25, 2026
- feat(lean,#17481): miroirs _en des 4 modules EffectiveTheory (i18n #4980)
  
  jsboige
  and
  claude
  committed
  e22ee17
- fix(lean,#17481): suffixer les end fermants des miroirs _en
  
  jsboige
  and
  claude
  committed
  42dc35d