Repository navigation

feat(lean,#18397): tranche 3 -- extraction arcPartition vers Knots/ArcPartition.lean (sibling EN) - #19284

Merged

myia-ai-01 merged 7 commits into

mainfrom

feature/18397-tranche3-arcpartition

Oct 9, 2026

Commits on Oct 5, 2026
Commits on Oct 8, 2026
- Merge remote-tracking branch 'origin/main' into feature/18397-tranche3-arcpartition
  jsboige
  committed
  2b0304f
- Merge remote-tracking branch 'origin/main' into feature/c1184-19284-recheck
  jsboige
  committed
  0407392
Commits on Oct 9, 2026
- fix(lean,#18397): tranche 3 -- restaure la docstring mergePair perdue a l'extraction + en-tetes exacts
  
  jsboige
  and
  claude
  committed
  7ca05fb