Skip to content

feat(lean,#16334): pendant kernel MZV finies — stuffle, retournement et dérivation prouvés dans F_p - #17213

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/16334-mzv-kernel
Sep 23, 2026
Merged

feat(lean,#16334): pendant kernel MZV finies — stuffle, retournement et dérivation prouvés dans F_p#17213
myia-ai-01 merged 1 commit into
mainfrom
feature/16334-mzv-kernel

Commits

  1. Commits on Sep 21, 2026