Repository navigation

feat(lean,#16557): Z[zeta_7], Z[zeta_11] et Z[zeta_13] principaux (portage FLT x3) - #17082

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/16557-cyclotomic-pid

Sep 21, 2026

Merged

feat(lean,#16557): Z[zeta_7], Z[zeta_11] et Z[zeta_13] principaux (portage FLT x3)#17082
myia-ai-01 merged 3 commits into
mainfrom
feature/16557-cyclotomic-pid

Commits on Sep 20, 2026
- feat(lean,#16557): seven_pid — Z[zeta_7] est principal (portage FLT tranche 1)
  
  jsboige
  and
  claude
  committed
  e3a96e5
- feat(lean,#16557): eleven_pid — Z[zeta_11] est principal (portage FLT tranche 2)
  
  jsboige
  and
  claude
  committed
  e7f1413
Commits on Sep 21, 2026
- feat(lean,#16557): thirteen_pid — Z[zeta_13] est principal (portage FLT tranche 3)
  
  jsboige
  and
  claude
  committed
  852f159