Skip to content

feat(lean,#17845): brique k1.3 — opérateur overlap + identités de base (stack sur #19058) - #19060

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/komlos-k13-overlap
Oct 4, 2026
Merged

feat(lean,#17845): brique k1.3 — opérateur overlap + identités de base (stack sur #19058)#19060
myia-ai-01 merged 1 commit into
mainfrom
feature/komlos-k13-overlap

feat(lean,#17845): brique k1.3 -- operateur overlap + identites de base

5a6c67d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar