Skip to content

i18n(#14786): port lower-ramification groups into galois_lean FR/EN sibling pair - #15028

Merged
jsboige merged 1 commit into
mainfrom
feature/14786-galois-lowerRamification
Sep 7, 2026
Merged

i18n(#14786): port lower-ramification groups into galois_lean FR/EN sibling pair#15028
jsboige merged 1 commit into
mainfrom
feature/14786-galois-lowerRamification

Commits

  1. Commits on Sep 7, 2026