Skip to content

feat(lean,#17845): brique k2.6 — sum_smul_inl générique (assemblage SignedSums + jumeau _en) - #19425

Merged
myia-ai-01 merged 7 commits into
mainfrom
feature/komlos-k26-signedsums
Oct 10, 2026
Merged

feat(lean,#17845): brique k2.6 — sum_smul_inl générique (assemblage SignedSums + jumeau _en)#19425
myia-ai-01 merged 7 commits into
mainfrom
feature/komlos-k26-signedsums

Merge origin/main dans feature/komlos-k26-signedsums -- resolution de…

6fbc3a7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar